runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3738009-1338722519/watcher-3738009-1338722519 -o /tmp/evaluation-result-3738009-1338722519/solver-3738009-1338722519 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3738009-1338722519.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.06 2.08 3/194 8739
/proc/meminfo: memFree=28910360/32873648 swapFree=7116/7116
[pid=8739] ppid=8737 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/8739/stat : 8739 (java) S 8737 8739 7854 0 -1 4202496 1206 0 0 0 0 0 0 0 20 0 2 0 338377378 94019584 917 33554432000 1073741824 1073778376 140737480634432 140737480625568 214540779581 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8739/statm: 22954 917 697 9 0 16769 0
[pid=8739/tid=8740] ppid=8737 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8740/stat : 8740 (java) R 8737 8739 7854 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 338377378 95129600 927 33554432000 1073741824 1073778376 140737480634432 140089184874024 214528257319 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.081788 s]
/proc/loadavg: 1.92 2.06 2.08 3/194 8739
/proc/meminfo: memFree=28910360/32873648 swapFree=7116/7116
[pid=8739] ppid=8737 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/8739/stat : 8739 (java) S 8737 8739 7854 0 -1 4202496 4356 0 1 0 7 1 0 0 20 0 18 0 338377378 3028844544 6565 33554432000 1073741824 1073778376 140737480634432 140737480625568 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8739/statm: 739464 6565 2098 9 0 729885 0
[pid=8739/tid=8740] ppid=8737 vsize=2957856 CPUtime=0.06 cores=1,3,5,7
/proc/8739/task/8740/stat : 8740 (java) R 8737 8739 7854 0 -1 4202560 2485 0 1 0 5 1 0 0 20 0 18 0 338377378 3028844544 6566 33554432000 1073741824 1073778376 140737480634432 140089184867384 214540805389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856
[startup+0.100339 s]
/proc/loadavg: 1.92 2.06 2.08 3/194 8739
/proc/meminfo: memFree=28910360/32873648 swapFree=7116/7116
[pid=8739] ppid=8737 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/8739/stat : 8739 (java) S 8737 8739 7854 0 -1 4202496 4424 0 1 0 9 1 0 0 20 0 18 0 338377378 3028844544 7143 33554432000 1073741824 1073778376 140737480634432 140737480625568 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8739/statm: 739464 7143 2130 9 0 729885 0
[pid=8739/tid=8740] ppid=8737 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/8739/task/8740/stat : 8740 (java) R 8737 8739 7854 0 -1 4202560 2495 0 1 0 6 1 0 0 20 0 18 0 338377378 3028844544 7143 33554432000 1073741824 1073778376 140737480634432 140089184867384 214540805389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.300193 s]
/proc/loadavg: 1.92 2.06 2.08 3/194 8739
/proc/meminfo: memFree=28910360/32873648 swapFree=7116/7116
[pid=8739] ppid=8737 vsize=2957856 CPUtime=0.44 cores=1,3,5,7
/proc/8739/stat : 8739 (java) S 8737 8739 7854 0 -1 4202496 6151 0 1 0 43 1 0 0 20 0 18 0 338377378 3028844544 9470 33554432000 1073741824 1073778376 140737480634432 140737480625568 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8739/statm: 739464 9471 2241 9 0 729885 0
[pid=8739/tid=8740] ppid=8737 vsize=2957856 CPUtime=0.27 cores=1,3,5,7
/proc/8739/task/8740/stat : 8740 (java) R 8737 8739 7854 0 -1 4202560 2506 0 1 0 26 1 0 0 20 0 18 0 338377378 3028844544 9471 33554432000 1073741824 1073778376 140737480634432 140089184867384 140089032585833 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2957856
[startup+0.700265 s]
/proc/loadavg: 1.92 2.06 2.08 3/194 8739
/proc/meminfo: memFree=28910360/32873648 swapFree=7116/7116
[pid=8739] ppid=8737 vsize=2957856 CPUtime=1.13 cores=1,3,5,7
/proc/8739/stat : 8739 (java) S 8737 8739 7854 0 -1 4202496 8507 0 1 0 111 2 0 0 20 0 18 0 338377378 3028844544 13803 33554432000 1073741824 1073778376 140737480634432 140737480625568 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8739/statm: 739464 13803 2252 9 0 729885 0
[pid=8739/tid=8740] ppid=8737 vsize=2957856 CPUtime=0.67 cores=1,3,5,7
/proc/8739/task/8740/stat : 8740 (java) R 8737 8739 7854 0 -1 4202560 2512 0 1 0 66 1 0 0 20 0 18 0 338377378 3028844544 13803 33554432000 1073741824 1073778376 140737480634432 140089184867384 140089032593029 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 2957856
Solver just ended. Dumping a history of the last processes samples
[startup+1.1072 s]
/proc/loadavg: 1.92 2.06 2.08 3/211 8757
/proc/meminfo: memFree=28857668/32873648 swapFree=7116/7116
[pid=8739] ppid=8737 vsize=2957856 CPUtime=1.64 cores=1,3,5,7
/proc/8739/stat : 8739 (java) S 8737 8739 7854 0 -1 4202496 8563 0 1 0 162 2 0 0 20 0 18 0 338377378 3028844544 15859 33554432000 1073741824 1073778376 140737480634432 140737480625568 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8739/statm: 739464 15859 2256 9 0 729885 0
[pid=8739/tid=8740] ppid=8737 vsize=2957856 CPUtime=1.08 cores=1,3,5,7
/proc/8739/task/8740/stat : 8740 (java) R 8737 8739 7854 0 -1 4202560 2517 0 1 0 107 1 0 0 20 0 18 0 338377378 3028844544 15859 33554432000 1073741824 1073778376 140737480634432 140089184878680 140089032593270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8739/tid=8742] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8742/stat : 8742 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377379 3028844544 15859 33554432000 1073741824 1073778376 140737480634432 140089168304808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8739/tid=8743] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8743/stat : 8743 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377379 3028844544 15859 33554432000 1073741824 1073778376 140737480634432 140089167252264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8739/tid=8744] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8744/stat : 8744 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377379 3028844544 15859 33554432000 1073741824 1073778376 140737480634432 140089166199720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8739/tid=8745] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8745/stat : 8745 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377379 3028844544 15859 33554432000 1073741824 1073778376 140737480634432 140089165147176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8739/tid=8746] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8746/stat : 8746 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377379 3028844544 15859 33554432000 1073741824 1073778376 140737480634432 140089164093608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8739/tid=8747] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8747/stat : 8747 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377379 3028844544 15859 33554432000 1073741824 1073778376 140737480634432 140089163041064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8739/tid=8748] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8748/stat : 8748 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377379 3028844544 15859 33554432000 1073741824 1073778376 140737480634432 140089161988520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8739/tid=8749] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8749/stat : 8749 (java) S 8737 8739 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338377379 3028844544 15859 33554432000 1073741824 1073778376 140737480634432 140089160935976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8739/tid=8750] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8750/stat : 8750 (java) S 8737 8739 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338377380 3028844544 15859 33554432000 1073741824 1073778376 140737480634432 140089030068840 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8739/tid=8751] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8751/stat : 8751 (java) S 8737 8739 7854 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 338377380 3028844544 15859 33554432000 1073741824 1073778376 140737480634432 140089029015160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8739/tid=8752] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8752/stat : 8752 (java) S 8737 8739 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338377380 3028844544 15859 33554432000 1073741824 1073778376 140737480634432 140089027962504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8739/tid=8753] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8753/stat : 8753 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377382 3028844544 15859 33554432000 1073741824 1073778376 140737480634432 140089026911248 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8739/tid=8754] ppid=8737 vsize=2957856 CPUtime=0.27 cores=1,3,5,7
/proc/8739/task/8754/stat : 8754 (java) S 8737 8739 7854 0 -1 4202560 2703 0 0 0 27 0 0 0 20 0 18 0 338377382 3028844544 15859 33554432000 1073741824 1073778376 140737480634432 140089025857592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8739/tid=8755] ppid=8737 vsize=2957856 CPUtime=0.25 cores=1,3,5,7
/proc/8739/task/8755/stat : 8755 (java) S 8737 8739 7854 0 -1 4202560 2157 0 0 0 25 0 0 0 20 0 18 0 338377382 3028844544 15859 33554432000 1073741824 1073778376 140737480634432 140089024805048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8739/tid=8756] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8756/stat : 8756 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377382 3028844544 15859 33554432000 1073741824 1073778376 140737480634432 140089023752696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8739/tid=8757] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8757/stat : 8757 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377383 3028844544 15859 33554432000 1073741824 1073778376 140737480634432 140089022700360 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 2957856
[startup+1.20069 s]
/proc/loadavg: 1.92 2.06 2.08 3/211 8757
/proc/meminfo: memFree=28857668/32873648 swapFree=7116/7116
[pid=8739] ppid=8737 vsize=2957856 CPUtime=1.74 cores=1,3,5,7
/proc/8739/stat : 8739 (java) S 8737 8739 7854 0 -1 4202496 8564 0 1 0 172 2 0 0 20 0 18 0 338377378 3028844544 16371 33554432000 1073741824 1073778376 140737480634432 140737480625568 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8739/statm: 739464 16371 2256 9 0 729885 0
[pid=8739/tid=8740] ppid=8737 vsize=2957856 CPUtime=1.18 cores=1,3,5,7
/proc/8739/task/8740/stat : 8740 (java) R 8737 8739 7854 0 -1 4202560 2518 0 1 0 116 2 0 0 20 0 18 0 338377378 3028844544 16371 33554432000 1073741824 1073778376 140737480634432 140089184878680 140089032593270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8739/tid=8742] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8742/stat : 8742 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377379 3028844544 16371 33554432000 1073741824 1073778376 140737480634432 140089168304808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8739/tid=8743] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8743/stat : 8743 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377379 3028844544 16371 33554432000 1073741824 1073778376 140737480634432 140089167252264 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8739/tid=8744] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8744/stat : 8744 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377379 3028844544 16371 33554432000 1073741824 1073778376 140737480634432 140089166199720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8739/tid=8745] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8745/stat : 8745 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377379 3028844544 16371 33554432000 1073741824 1073778376 140737480634432 140089165147176 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8739/tid=8746] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8746/stat : 8746 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377379 3028844544 16371 33554432000 1073741824 1073778376 140737480634432 140089164093608 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8739/tid=8747] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8747/stat : 8747 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377379 3028844544 16371 33554432000 1073741824 1073778376 140737480634432 140089163041064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8739/tid=8748] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8748/stat : 8748 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377379 3028844544 16371 33554432000 1073741824 1073778376 140737480634432 140089161988520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8739/tid=8749] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8749/stat : 8749 (java) S 8737 8739 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338377379 3028844544 16371 33554432000 1073741824 1073778376 140737480634432 140089160935976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8739/tid=8750] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8750/stat : 8750 (java) S 8737 8739 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338377380 3028844544 16371 33554432000 1073741824 1073778376 140737480634432 140089030068840 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8739/tid=8751] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8751/stat : 8751 (java) S 8737 8739 7854 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 338377380 3028844544 16371 33554432000 1073741824 1073778376 140737480634432 140089029015160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8739/tid=8752] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8752/stat : 8752 (java) S 8737 8739 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338377380 3028844544 16371 33554432000 1073741824 1073778376 140737480634432 140089027962504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8739/tid=8753] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8753/stat : 8753 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377382 3028844544 16371 33554432000 1073741824 1073778376 140737480634432 140089026911248 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8739/tid=8754] ppid=8737 vsize=2957856 CPUtime=0.27 cores=1,3,5,7
/proc/8739/task/8754/stat : 8754 (java) S 8737 8739 7854 0 -1 4202560 2703 0 0 0 27 0 0 0 20 0 18 0 338377382 3028844544 16371 33554432000 1073741824 1073778376 140737480634432 140089025857592 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8739/tid=8755] ppid=8737 vsize=2957856 CPUtime=0.25 cores=1,3,5,7
/proc/8739/task/8755/stat : 8755 (java) S 8737 8739 7854 0 -1 4202560 2157 0 0 0 25 0 0 0 20 0 18 0 338377382 3028844544 16371 33554432000 1073741824 1073778376 140737480634432 140089024805048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8739/tid=8756] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8756/stat : 8756 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377382 3028844544 16371 33554432000 1073741824 1073778376 140737480634432 140089023752696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8739/tid=8757] ppid=8737 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/8739/task/8757/stat : 8757 (java) S 8737 8739 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338377383 3028844544 16371 33554432000 1073741824 1073778376 140737480634432 140089022700360 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 2957856
Child status: 1
Real time (s): 1.20903
CPU time (s): 1.77173
CPU user time (s): 1.72074
CPU system time (s): 0.050992
CPU usage (%): 146.541
Max. virtual memory (cumulated for all children) (KiB): 2957856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.72074
system time used= 0.050992
maximum resident set size= 69692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8597
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 289
involuntary context switches= 16
runsolver used 0.008998 second user time and 0.006998 second system time
The end