runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3293209-1304110494/watcher-3293209-1304110494 -o /tmp/evaluation-result-3293209-1304110494/solver-3293209-1304110494 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3293209-1304110494.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 7.53 7.84 7.91 6/181 3659
/proc/meminfo: memFree=24340596/32951124 swapFree=67111524/67111528
[pid=3659] ppid=3657 vsize=10980 CPUtime=0 cores=1,3,5,7
/proc/3659/stat : 3659 (plingeling) R 3657 3659 2566 0 -1 4202496 838 1252 0 0 0 0 0 0 20 0 1 0 522647129 11243520 767 33554432000 4194304 4417332 140734821468944 18446744073709551615 212687675136 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/3659/statm: 2745 767 147 55 0 631 0
[startup+0.086561 s]
/proc/loadavg: 7.53 7.84 7.91 6/181 3659
/proc/meminfo: memFree=24340596/32951124 swapFree=67111524/67111528
[pid=3659] ppid=3657 vsize=17928 CPUtime=0.07 cores=1,3,5,7
/proc/3659/stat : 3659 (plingeling) R 3657 3659 2566 0 -1 4202496 2591 1252 0 0 7 0 0 0 20 0 1 0 522647129 18358272 2504 33554432000 4194304 4417332 140734821468944 18446744073709551615 4262099 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/3659/statm: 4482 2504 147 55 0 2368 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17928
[startup+0.100558 s]
/proc/loadavg: 7.53 7.84 7.91 6/181 3659
/proc/meminfo: memFree=24340596/32951124 swapFree=67111524/67111528
[pid=3659] ppid=3657 vsize=22024 CPUtime=0.08 cores=1,3,5,7
/proc/3659/stat : 3659 (plingeling) R 3657 3659 2566 0 -1 4202496 3615 1252 0 0 8 0 0 0 20 0 1 0 522647129 22552576 3528 33554432000 4194304 4417332 140734821468944 18446744073709551615 212687294079 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/3659/statm: 5506 3528 147 55 0 3392 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22024
[startup+0.300484 s]
/proc/loadavg: 7.53 7.84 7.91 6/181 3659
/proc/meminfo: memFree=24340596/32951124 swapFree=67111524/67111528
[pid=3659] ppid=3657 vsize=70568 CPUtime=0.3 cores=1,3,5,7
/proc/3659/stat : 3659 (plingeling) S 3657 3659 2566 0 -1 4202496 5760 1252 0 0 29 1 0 0 22 0 5 0 522647129 72261632 5429 33554432000 4194304 4417332 140734821468944 18446744073709551615 212699477989 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/3659/statm: 17642 5429 164 55 0 15528 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 70568
[startup+0.700413 s]
/proc/loadavg: 7.53 7.84 7.91 6/181 3659
/proc/meminfo: memFree=24340596/32951124 swapFree=67111524/67111528
[pid=3659] ppid=3657 vsize=73248 CPUtime=1.9 cores=1,3,5,7
/proc/3659/stat : 3659 (plingeling) S 3657 3659 2566 0 -1 4202496 6965 1252 0 0 189 1 0 0 22 0 5 0 522647129 75005952 6121 33554432000 4194304 4417332 140734821468944 18446744073709551615 212699477989 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/3659/statm: 18312 6121 176 55 0 16198 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 73248
[startup+1.50027 s]
/proc/loadavg: 7.53 7.84 7.91 9/186 3669
/proc/meminfo: memFree=24314400/32951124 swapFree=67111524/67111528
[pid=3659] ppid=3657 vsize=172700 CPUtime=5.1 cores=1,3,5,7
/proc/3659/stat : 3659 (plingeling) S 3657 3659 2566 0 -1 4202496 20930 1252 0 0 507 3 0 0 22 0 5 0 522647129 176844800 14592 33554432000 4194304 4417332 140734821468944 18446744073709551615 212699477989 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/3659/statm: 43175 14592 181 55 0 41061 0
[pid=3659/tid=3666] ppid=3657 vsize=172700 CPUtime=1.19 cores=1,3,5,7
/proc/3659/task/3666/stat : 3666 (plingeling) R 3657 3659 2566 0 -1 4202560 4673 1252 0 0 119 0 0 0 25 0 5 0 522647159 176844800 14592 33554432000 4194304 4417332 140734821468944 18446744073709551615 4236017 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3659/tid=3667] ppid=3657 vsize=172700 CPUtime=1.19 cores=1,3,5,7
/proc/3659/task/3667/stat : 3667 (plingeling) R 3657 3659 2566 0 -1 4202560 4797 1252 0 0 119 0 0 0 25 0 5 0 522647159 176844800 14592 33554432000 4194304 4417332 140734821468944 18446744073709551615 4250047 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3659/tid=3668] ppid=3657 vsize=172700 CPUtime=1.19 cores=1,3,5,7
/proc/3659/task/3668/stat : 3668 (plingeling) R 3657 3659 2566 0 -1 4202560 4266 1252 0 0 119 0 0 0 25 0 5 0 522647159 176844800 14592 33554432000 4194304 4417332 140734821468944 18446744073709551615 4249322 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3659/tid=3669] ppid=3657 vsize=172700 CPUtime=1.2 cores=1,3,5,7
/proc/3659/task/3669/stat : 3669 (plingeling) R 3657 3659 2566 0 -1 4202560 1495 1252 0 0 120 0 0 0 25 0 5 0 522647159 176844800 14592 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364652 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 172700
[startup+3.10098 s]
/proc/loadavg: 7.53 7.84 7.91 9/186 3669
/proc/meminfo: memFree=24290340/32951124 swapFree=67111524/67111528
[pid=3659] ppid=3657 vsize=172700 CPUtime=11.49 cores=1,3,5,7
/proc/3659/stat : 3659 (plingeling) S 3657 3659 2566 0 -1 4202496 20930 1252 0 0 1146 3 0 0 22 0 5 0 522647129 176844800 14592 33554432000 4194304 4417332 140734821468944 18446744073709551615 212699477989 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/3659/statm: 43175 14592 181 55 0 41061 0
[pid=3659/tid=3666] ppid=3657 vsize=172700 CPUtime=2.8 cores=1,3,5,7
/proc/3659/task/3666/stat : 3666 (plingeling) R 3657 3659 2566 0 -1 4202560 4673 1252 0 0 280 0 0 0 25 0 5 0 522647159 176844800 14592 33554432000 4194304 4417332 140734821468944 18446744073709551615 4235359 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3659/tid=3667] ppid=3657 vsize=172700 CPUtime=2.79 cores=1,3,5,7
/proc/3659/task/3667/stat : 3667 (plingeling) R 3657 3659 2566 0 -1 4202560 4797 1252 0 0 279 0 0 0 25 0 5 0 522647159 176844800 14592 33554432000 4194304 4417332 140734821468944 18446744073709551615 4249597 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3659/tid=3668] ppid=3657 vsize=172700 CPUtime=2.78 cores=1,3,5,7
/proc/3659/task/3668/stat : 3668 (plingeling) R 3657 3659 2566 0 -1 4202560 4266 1252 0 0 278 0 0 0 25 0 5 0 522647159 176844800 14592 33554432000 4194304 4417332 140734821468944 18446744073709551615 4258575 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3659/tid=3669] ppid=3657 vsize=172700 CPUtime=2.8 cores=1,3,5,7
/proc/3659/task/3669/stat : 3669 (plingeling) R 3657 3659 2566 0 -1 4202560 1495 1252 0 0 280 0 0 0 25 0 5 0 522647159 176844800 14592 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.49
Current children cumulated vsize (KiB) 172700
[startup+6.3004 s]
/proc/loadavg: 7.57 7.84 7.91 9/186 3669
/proc/meminfo: memFree=24263832/32951124 swapFree=67111524/67111528
[pid=3659] ppid=3657 vsize=183244 CPUtime=24.27 cores=1,3,5,7
/proc/3659/stat : 3659 (plingeling) S 3657 3659 2566 0 -1 4202496 24860 1252 0 0 2424 3 0 0 22 0 5 0 522647129 187641856 17033 33554432000 4194304 4417332 140734821468944 18446744073709551615 212699477989 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/3659/statm: 45811 17033 181 55 0 43697 0
[pid=3659/tid=3666] ppid=3657 vsize=183244 CPUtime=6 cores=1,3,5,7
/proc/3659/task/3666/stat : 3666 (plingeling) R 3657 3659 2566 0 -1 4202560 4673 1252 0 0 600 0 0 0 25 0 5 0 522647159 187641856 17033 33554432000 4194304 4417332 140734821468944 18446744073709551615 4238918 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3659/tid=3667] ppid=3657 vsize=183244 CPUtime=5.99 cores=1,3,5,7
/proc/3659/task/3667/stat : 3667 (plingeling) R 3657 3659 2566 0 -1 4202560 4797 1252 0 0 599 0 0 0 25 0 5 0 522647159 187641856 17033 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364742 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3659/tid=3668] ppid=3657 vsize=183244 CPUtime=5.96 cores=1,3,5,7
/proc/3659/task/3668/stat : 3668 (plingeling) R 3657 3659 2566 0 -1 4202560 5290 1252 0 0 596 0 0 0 25 0 5 0 522647159 187641856 17033 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3659/tid=3669] ppid=3657 vsize=183244 CPUtime=5.99 cores=1,3,5,7
/proc/3659/task/3669/stat : 3669 (plingeling) R 3657 3659 2566 0 -1 4202560 4401 1252 0 0 599 0 0 0 25 0 5 0 522647159 187641856 17033 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.27
Current children cumulated vsize (KiB) 183244
[startup+12.7002 s]
/proc/loadavg: 7.60 7.84 7.91 9/186 3669
/proc/meminfo: memFree=24229872/32951124 swapFree=67111524/67111528
[pid=3659] ppid=3657 vsize=210352 CPUtime=49.84 cores=1,3,5,7
/proc/3659/stat : 3659 (plingeling) S 3657 3659 2566 0 -1 4202496 31832 1252 0 0 4980 4 0 0 22 0 5 0 522647129 215400448 24005 33554432000 4194304 4417332 140734821468944 18446744073709551615 212699477989 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/3659/statm: 52588 24005 181 55 0 50474 0
[pid=3659/tid=3666] ppid=3657 vsize=210352 CPUtime=12.39 cores=1,3,5,7
/proc/3659/task/3666/stat : 3666 (plingeling) R 3657 3659 2566 0 -1 4202560 5698 1252 0 0 1239 0 0 0 25 0 5 0 522647159 215400448 24005 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364526 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3659/tid=3667] ppid=3657 vsize=210352 CPUtime=12.4 cores=1,3,5,7
/proc/3659/task/3667/stat : 3667 (plingeling) R 3657 3659 2566 0 -1 4202560 7540 1252 0 0 1239 1 0 0 25 0 5 0 522647159 215400448 24005 33554432000 4194304 4417332 140734821468944 18446744073709551615 4259147 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3659/tid=3668] ppid=3657 vsize=210352 CPUtime=12.32 cores=1,3,5,7
/proc/3659/task/3668/stat : 3668 (plingeling) R 3657 3659 2566 0 -1 4202560 8185 1252 0 0 1232 0 0 0 25 0 5 0 522647159 215400448 24005 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364568 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3659/tid=3669] ppid=3657 vsize=210352 CPUtime=12.39 cores=1,3,5,7
/proc/3659/task/3669/stat : 3669 (plingeling) R 3657 3659 2566 0 -1 4202560 4710 1252 0 0 1239 0 0 0 25 0 5 0 522647159 215400448 24005 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364722 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.84
Current children cumulated vsize (KiB) 210352
[startup+25.5009 s]
/proc/loadavg: 7.69 7.85 7.91 9/186 3669
/proc/meminfo: memFree=24196284/32951124 swapFree=67111524/67111528
[pid=3659] ppid=3657 vsize=255128 CPUtime=100.96 cores=1,3,5,7
/proc/3659/stat : 3659 (plingeling) S 3657 3659 2566 0 -1 4202496 44497 1252 0 0 10091 5 0 0 22 0 5 0 522647129 261251072 35199 33554432000 4194304 4417332 140734821468944 18446744073709551615 212699477989 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/3659/statm: 63782 35199 181 55 0 61668 0
[pid=3659/tid=3666] ppid=3657 vsize=255128 CPUtime=25.2 cores=1,3,5,7
/proc/3659/task/3666/stat : 3666 (plingeling) R 3657 3659 2566 0 -1 4202560 9709 1252 0 0 2519 1 0 0 25 0 5 0 522647159 261251072 35199 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364479 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3659/tid=3667] ppid=3657 vsize=255128 CPUtime=25.2 cores=1,3,5,7
/proc/3659/task/3667/stat : 3667 (plingeling) R 3657 3659 2566 0 -1 4202560 8563 1252 0 0 2519 1 0 0 25 0 5 0 522647159 261251072 35199 33554432000 4194304 4417332 140734821468944 18446744073709551615 4232787 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3659/tid=3668] ppid=3657 vsize=255128 CPUtime=25.05 cores=1,3,5,7
/proc/3659/task/3668/stat : 3668 (plingeling) R 3657 3659 2566 0 -1 4202560 9138 1252 0 0 2505 0 0 0 25 0 5 0 522647159 261251072 35199 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364722 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3659/tid=3669] ppid=3657 vsize=255128 CPUtime=25.2 cores=1,3,5,7
/proc/3659/task/3669/stat : 3669 (plingeling) R 3657 3659 2566 0 -1 4202560 11388 1252 0 0 2519 1 0 0 25 0 5 0 522647159 261251072 35199 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 100.96
Current children cumulated vsize (KiB) 255128
Solver just ended. Dumping a history of the last processes samples
[startup+31.9067 s]
/proc/loadavg: 7.71 7.85 7.91 9/186 3669
/proc/meminfo: memFree=24174344/32951124 swapFree=67111524/67111528
[pid=3659] ppid=3657 vsize=270744 CPUtime=126.55 cores=1,3,5,7
/proc/3659/stat : 3659 (plingeling) S 3657 3659 2566 0 -1 4202496 53802 1252 0 0 12648 7 0 0 22 0 5 0 522647129 277241856 39103 33554432000 4194304 4417332 140734821468944 18446744073709551615 212699477989 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/3659/statm: 67686 39103 181 55 0 65572 0
[pid=3659/tid=3666] ppid=3657 vsize=270744 CPUtime=31.61 cores=1,3,5,7
/proc/3659/task/3666/stat : 3666 (plingeling) R 3657 3659 2566 0 -1 4202560 13805 1252 0 0 3159 2 0 0 25 0 5 0 522647159 277241856 39103 33554432000 4194304 4417332 140734821468944 18446744073709551615 4258488 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3659/tid=3667] ppid=3657 vsize=270744 CPUtime=31.6 cores=1,3,5,7
/proc/3659/task/3667/stat : 3667 (plingeling) R 3657 3659 2566 0 -1 4202560 8563 1252 0 0 3159 1 0 0 25 0 5 0 522647159 277241856 39103 33554432000 4194304 4417332 140734821468944 18446744073709551615 4307968 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3659/tid=3668] ppid=3657 vsize=270744 CPUtime=31.42 cores=1,3,5,7
/proc/3659/task/3668/stat : 3668 (plingeling) R 3657 3659 2566 0 -1 4202560 13234 1252 0 0 3141 1 0 0 25 0 5 0 522647159 277241856 39103 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3659/tid=3669] ppid=3657 vsize=270744 CPUtime=31.6 cores=1,3,5,7
/proc/3659/task/3669/stat : 3669 (plingeling) R 3657 3659 2566 0 -1 4202560 12501 1252 0 0 3159 1 0 0 25 0 5 0 522647159 277241856 39103 33554432000 4194304 4417332 140734821468944 18446744073709551615 18446744073699065918 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 126.55
Current children cumulated vsize (KiB) 270744
[startup+38.3006 s]
/proc/loadavg: 7.74 7.86 7.91 9/186 3670
/proc/meminfo: memFree=24180904/32951124 swapFree=67111524/67111528
[pid=3659] ppid=3657 vsize=269400 CPUtime=152.1 cores=1,3,5,7
/proc/3659/stat : 3659 (plingeling) S 3657 3659 2566 0 -1 4202496 61862 1252 0 0 15201 9 0 0 22 0 5 0 522647129 275865600 38767 33554432000 4194304 4417332 140734821468944 18446744073709551615 212699477989 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/3659/statm: 67350 38767 181 55 0 65236 0
[pid=3659/tid=3666] ppid=3657 vsize=269400 CPUtime=38 cores=1,3,5,7
/proc/3659/task/3666/stat : 3666 (plingeling) R 3657 3659 2566 0 -1 4202560 14447 1252 0 0 3798 2 0 0 25 0 5 0 522647159 275865600 38767 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364811 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3659/tid=3667] ppid=3657 vsize=269400 CPUtime=37.99 cores=1,3,5,7
/proc/3659/task/3667/stat : 3667 (plingeling) R 3657 3659 2566 0 -1 4202560 13486 1252 0 0 3797 2 0 0 25 0 5 0 522647159 275865600 38767 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3659/tid=3668] ppid=3657 vsize=269400 CPUtime=37.79 cores=1,3,5,7
/proc/3659/task/3668/stat : 3668 (plingeling) R 3657 3659 2566 0 -1 4202560 13234 1252 0 0 3778 1 0 0 25 0 5 0 522647159 275865600 38767 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364742 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3659/tid=3669] ppid=3657 vsize=269400 CPUtime=37.99 cores=1,3,5,7
/proc/3659/task/3669/stat : 3669 (plingeling) R 3657 3659 2566 0 -1 4202560 14996 1252 0 0 3798 1 0 0 25 0 5 0 522647159 275865600 38767 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 152.1
Current children cumulated vsize (KiB) 269400
[startup+39.9003 s]
/proc/loadavg: 7.74 7.86 7.91 9/186 3670
/proc/meminfo: memFree=24170612/32951124 swapFree=67111524/67111528
[pid=3659] ppid=3657 vsize=269400 CPUtime=158.49 cores=1,3,5,7
/proc/3659/stat : 3659 (plingeling) S 3657 3659 2566 0 -1 4202496 61862 1252 0 0 15840 9 0 0 22 0 5 0 522647129 275865600 38767 33554432000 4194304 4417332 140734821468944 18446744073709551615 212699477989 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/3659/statm: 67350 38767 181 55 0 65236 0
[pid=3659/tid=3666] ppid=3657 vsize=269400 CPUtime=39.6 cores=1,3,5,7
/proc/3659/task/3666/stat : 3666 (plingeling) R 3657 3659 2566 0 -1 4202560 14447 1252 0 0 3958 2 0 0 25 0 5 0 522647159 275865600 38767 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3659/tid=3667] ppid=3657 vsize=269400 CPUtime=39.59 cores=1,3,5,7
/proc/3659/task/3667/stat : 3667 (plingeling) R 3657 3659 2566 0 -1 4202560 13486 1252 0 0 3957 2 0 0 25 0 5 0 522647159 275865600 38767 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364568 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3659/tid=3668] ppid=3657 vsize=269400 CPUtime=39.38 cores=1,3,5,7
/proc/3659/task/3668/stat : 3668 (plingeling) R 3657 3659 2566 0 -1 4202560 13234 1252 0 0 3937 1 0 0 25 0 5 0 522647159 275865600 38767 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3659/tid=3669] ppid=3657 vsize=269400 CPUtime=39.59 cores=1,3,5,7
/proc/3659/task/3669/stat : 3669 (plingeling) R 3657 3659 2566 0 -1 4202560 14996 1252 0 0 3958 1 0 0 25 0 5 0 522647159 275865600 38767 33554432000 4194304 4417332 140734821468944 18446744073709551615 4366011 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 158.49
Current children cumulated vsize (KiB) 269400
[startup+41.501 s]
/proc/loadavg: 7.84 7.87 7.92 9/186 3670
/proc/meminfo: memFree=24164908/32951124 swapFree=67111524/67111528
[pid=3659] ppid=3657 vsize=269400 CPUtime=164.89 cores=1,3,5,7
/proc/3659/stat : 3659 (plingeling) S 3657 3659 2566 0 -1 4202496 61862 1252 0 0 16480 9 0 0 22 0 5 0 522647129 275865600 38767 33554432000 4194304 4417332 140734821468944 18446744073709551615 212699477989 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/3659/statm: 67350 38767 181 55 0 65236 0
[pid=3659/tid=3666] ppid=3657 vsize=269400 CPUtime=41.2 cores=1,3,5,7
/proc/3659/task/3666/stat : 3666 (plingeling) R 3657 3659 2566 0 -1 4202560 14447 1252 0 0 4118 2 0 0 25 0 5 0 522647159 275865600 38767 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364706 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3659/tid=3667] ppid=3657 vsize=269400 CPUtime=41.19 cores=1,3,5,7
/proc/3659/task/3667/stat : 3667 (plingeling) R 3657 3659 2566 0 -1 4202560 13486 1252 0 0 4117 2 0 0 25 0 5 0 522647159 275865600 38767 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3659/tid=3668] ppid=3657 vsize=269400 CPUtime=40.97 cores=1,3,5,7
/proc/3659/task/3668/stat : 3668 (plingeling) R 3657 3659 2566 0 -1 4202560 13234 1252 0 0 4096 1 0 0 25 0 5 0 522647159 275865600 38767 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364899 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3659/tid=3669] ppid=3657 vsize=269400 CPUtime=41.19 cores=1,3,5,7
/proc/3659/task/3669/stat : 3669 (plingeling) R 3657 3659 2566 0 -1 4202560 14996 1252 0 0 4118 1 0 0 25 0 5 0 522647159 275865600 38767 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 164.89
Current children cumulated vsize (KiB) 269400
[startup+42.3008 s]
/proc/loadavg: 7.84 7.87 7.92 9/186 3670
/proc/meminfo: memFree=24172348/32951124 swapFree=67111524/67111528
[pid=3659] ppid=3657 vsize=266832 CPUtime=168.08 cores=1,3,5,7
/proc/3659/stat : 3659 (plingeling) S 3657 3659 2566 0 -1 4202496 63060 1252 0 0 16799 9 0 0 22 0 5 0 522647129 273235968 38125 33554432000 4194304 4417332 140734821468944 18446744073709551615 212699477989 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/3659/statm: 66708 38125 181 55 0 64594 0
[pid=3659/tid=3666] ppid=3657 vsize=266832 CPUtime=42 cores=1,3,5,7
/proc/3659/task/3666/stat : 3666 (plingeling) R 3657 3659 2566 0 -1 4202560 14447 1252 0 0 4198 2 0 0 25 0 5 0 522647159 273235968 38125 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364722 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3659/tid=3667] ppid=3657 vsize=266832 CPUtime=41.99 cores=1,3,5,7
/proc/3659/task/3667/stat : 3667 (plingeling) R 3657 3659 2566 0 -1 4202560 13486 1252 0 0 4197 2 0 0 25 0 5 0 522647159 273235968 38125 33554432000 4194304 4417332 140734821468944 18446744073709551615 4270119 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3659/tid=3668] ppid=3657 vsize=266832 CPUtime=41.76 cores=1,3,5,7
/proc/3659/task/3668/stat : 3668 (plingeling) R 3657 3659 2566 0 -1 4202560 13234 1252 0 0 4175 1 0 0 25 0 5 0 522647159 273235968 38125 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364565 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3659/tid=3669] ppid=3657 vsize=266832 CPUtime=41.99 cores=1,3,5,7
/proc/3659/task/3669/stat : 3669 (plingeling) R 3657 3659 2566 0 -1 4202560 16194 1252 0 0 4198 1 0 0 25 0 5 0 522647159 273235968 38125 33554432000 4194304 4417332 140734821468944 18446744073709551615 4364683 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 168.08
Current children cumulated vsize (KiB) 266832
[startup+42.5008 s]
/proc/loadavg: 7.84 7.87 7.92 9/186 3670
/proc/meminfo: memFree=24172348/32951124 swapFree=67111524/67111528
[pid=3659] ppid=3657 vsize=266832 CPUtime=168.8 cores=1,3,5,7
/proc/3659/stat : 3659 (plingeling) S 3657 3659 2566 0 -1 4202496 63061 1252 0 0 16871 9 0 0 18 0 3 0 522647129 273235968 38126 33554432000 4194304 4417332 140734821468944 18446744073709551615 212699477989 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/3659/statm: 66708 38126 182 55 0 64594 0
[pid=3659/tid=3667] ppid=3657 vsize=266832 CPUtime=42.19 cores=1,3,5,7
/proc/3659/task/3667/stat : 3667 (plingeling) R 3657 3659 2566 0 -1 4202560 13486 1252 0 0 4217 2 0 0 25 0 3 0 522647159 273235968 38126 33554432000 4194304 4417332 140734821468944 18446744073709551615 4365509 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3659/tid=3668] ppid=3657 vsize=266832 CPUtime=41.96 cores=1,3,5,7
/proc/3659/task/3668/stat : 3668 (plingeling) R 3657 3659 2566 0 -1 4202560 13234 1252 0 0 4195 1 0 0 25 0 3 0 522647159 273235968 38126 33554432000 4194304 4417332 140734821468944 18446744073709551615 4365960 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 168.8
Current children cumulated vsize (KiB) 266832
Child status: 20
Real time (s): 42.572
CPU time (s): 168.893
CPU user time (s): 168.79
CPU system time (s): 0.102984
CPU usage (%): 396.724
Max. virtual memory (cumulated for all children) (KiB): 296292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 168.79
system time used= 0.102984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64316
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62
involuntary context switches= 1227
runsolver used 0.058991 second user time and 0.175973 second system time
The end