runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4256656-1501635035/watcher-4256656-1501635035 -o /tmp/evaluation-result-4256656-1501635035/solver-4256656-1501635035 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501623034-14465 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 2022800727 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256656-1501635035.xml
pid=23728
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.48 1.56 1.53 3/194 23731
/proc/meminfo: memFree=30228656/32770624 swapFree=0/208388
[pid=23731] ppid=23728 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/23731/stat : 23731 (runsolver) D 23728 23731 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 12123797 24240128 106 18446744073709551615 4194304 4338465 140728408721632 140728408719272 139972761326295 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 23269376 140728408727658 140728408728134 140728408728134 140728408731594 0
/proc/23731/statm: 5918 106 53 36 0 2156 0
[startup+0.100131 s]
/proc/loadavg: 1.48 1.56 1.53 3/194 23731
/proc/meminfo: memFree=30228656/32770624 swapFree=0/208388
[pid=23731] ppid=23728 vsize=13358552 CPUtime=0 cores=1,3,5,7
/proc/23731/stat : 23731 (java) S 23728 23731 5131 0 -1 1077944320 3016 0 0 0 0 0 0 0 20 0 6 0 12123797 13679157248 3708 18446744073709551615 4194304 4196468 140729463846048 140729463828592 139744165494519 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
/proc/23731/statm: 3339638 3708 1633 1 0 3329143 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13358552
[startup+0.206487 s]
/proc/loadavg: 1.48 1.56 1.53 3/194 23731
/proc/meminfo: memFree=30228656/32770624 swapFree=0/208388
[pid=23731] ppid=23728 vsize=13975920 CPUtime=0.09 cores=1,3,5,7
/proc/23731/stat : 23731 (java) S 23728 23731 5131 0 -1 1077944320 6607 0 0 0 8 1 0 0 20 0 15 0 12123797 14311342080 7806 18446744073709551615 4194304 4196468 140729463846048 140729463828592 139744165494519 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
/proc/23731/statm: 3493980 7806 3362 1 0 3482767 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13975920
[startup+0.300271 s]
/proc/loadavg: 1.48 1.56 1.53 3/194 23731
/proc/meminfo: memFree=30228656/32770624 swapFree=0/208388
[pid=23731] ppid=23728 vsize=13975920 CPUtime=0.24 cores=1,3,5,7
/proc/23731/stat : 23731 (java) S 23728 23731 5131 0 -1 1077944320 9856 0 0 0 22 2 0 0 20 0 15 0 12123797 14311342080 10060 18446744073709551615 4194304 4196468 140729463846048 140729463828592 139744165494519 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
/proc/23731/statm: 3493980 10060 3507 1 0 3482767 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 13975920
[startup+0.706191 s]
/proc/loadavg: 1.48 1.56 1.53 3/194 23731
/proc/meminfo: memFree=30228656/32770624 swapFree=0/208388
[pid=23731] ppid=23728 vsize=13977988 CPUtime=1.16 cores=1,3,5,7
/proc/23731/stat : 23731 (java) S 23728 23731 5131 0 -1 1077944320 14424 0 0 0 111 5 0 0 20 0 15 0 12123797 14313459712 27948 18446744073709551615 4194304 4196468 140729463846048 140729463828592 139744165494519 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
/proc/23731/statm: 3494497 27948 3717 1 0 3483279 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 13977988
[startup+1.50069 s]
/proc/loadavg: 1.48 1.56 1.53 5/209 23746
/proc/meminfo: memFree=30004860/32770624 swapFree=0/208276
[pid=23731] ppid=23728 vsize=13977988 CPUtime=3.49 cores=1,3,5,7
/proc/23731/stat : 23731 (java) S 23728 23731 5131 0 -1 1077944320 17237 0 0 0 334 15 0 0 20 0 15 0 12123797 14313459712 68822 18446744073709551615 4194304 4196468 140729463846048 140729463828592 139744165494519 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
/proc/23731/statm: 3494497 68822 3771 1 0 3483279 0
[pid=23731/tid=23733] ppid=23728 vsize=13977988 CPUtime=1.28 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (java) R 23728 23731 5131 0 -1 4202560 9944 0 0 0 123 5 0 0 20 0 15 0 12123806 14313459712 68822 18446744073709551615 4194304 4196468 140729463846048 139744169729072 139743761412487 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23734] ppid=23728 vsize=13977988 CPUtime=0.04 cores=1,3,5,7
/proc/23731/task/23734/stat : 23734 (java) S 23728 23731 5131 0 -1 1077944384 51 0 0 0 3 1 0 0 20 0 15 0 12123807 14313459712 68822 18446744073709551615 4194304 4196468 140729463846048 139744084908816 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23735] ppid=23728 vsize=13977988 CPUtime=0.06 cores=1,3,5,7
/proc/23731/task/23735/stat : 23735 (java) S 23728 23731 5131 0 -1 1077944384 92 0 0 0 4 2 0 0 20 0 15 0 12123807 14313459712 68822 18446744073709551615 4194304 4196468 140729463846048 139744083856272 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23736] ppid=23728 vsize=13977988 CPUtime=0.06 cores=1,3,5,7
/proc/23731/task/23736/stat : 23736 (java) S 23728 23731 5131 0 -1 1077944384 115 0 0 0 4 2 0 0 20 0 15 0 12123807 14313459712 68822 18446744073709551615 4194304 4196468 140729463846048 139744082803728 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23737] ppid=23728 vsize=13977988 CPUtime=0.04 cores=1,3,5,7
/proc/23731/task/23737/stat : 23737 (java) S 23728 23731 5131 0 -1 1077944384 94 0 0 0 2 2 0 0 20 0 15 0 12123807 14313459712 68822 18446744073709551615 4194304 4196468 140729463846048 139744081751184 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23738] ppid=23728 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23738/stat : 23738 (java) S 23728 23731 5131 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 12123808 14313459712 68822 18446744073709551615 4194304 4196468 140729463846048 139743643285488 139744165505666 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23739] ppid=23728 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23739/stat : 23739 (java) S 23728 23731 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12123809 14313459712 68822 18446744073709551615 4194304 4196468 140729463846048 139743642231712 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23740] ppid=23728 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23740/stat : 23740 (java) S 23728 23731 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 12123809 14313459712 68822 18446744073709551615 4194304 4196468 140729463846048 139743641179120 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23741] ppid=23728 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23741/stat : 23741 (java) S 23728 23731 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12123811 14313459712 68822 18446744073709551615 4194304 4196468 140729463846048 139743640127696 139744165513115 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23742] ppid=23728 vsize=13977988 CPUtime=0.83 cores=1,3,5,7
/proc/23731/task/23742/stat : 23742 (java) R 23728 23731 5131 0 -1 4202560 2336 0 0 0 83 0 0 0 20 0 15 0 12123811 14313459712 68822 18446744073709551615 4194304 4196468 140729463846048 139743639062160 139744148881300 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23743] ppid=23728 vsize=13977988 CPUtime=0.79 cores=1,3,5,7
/proc/23731/task/23743/stat : 23743 (java) R 23728 23731 5131 0 -1 4202560 2044 0 0 0 79 0 0 0 20 0 15 0 12123811 14313459712 68822 18446744073709551615 4194304 4196468 140729463846048 139743638012560 139744148993493 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23744] ppid=23728 vsize=13977988 CPUtime=0.33 cores=1,3,5,7
/proc/23731/task/23744/stat : 23744 (java) S 23728 23731 5131 0 -1 1077944384 1108 0 0 0 33 0 0 0 20 0 15 0 12123811 14313459712 68822 18446744073709551615 4194304 4196468 140729463846048 139743636970224 139744165505666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23745] ppid=23728 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23745/stat : 23745 (java) S 23728 23731 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12123811 14313459712 68822 18446744073709551615 4194304 4196468 140729463846048 139743635917920 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23746] ppid=23728 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23746/stat : 23746 (java) S 23728 23731 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12123815 14313459712 68822 18446744073709551615 4194304 4196468 140729463846048 139743634864432 139744165505666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 13977988
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23731 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60448 s]
/proc/loadavg: 1.48 1.56 1.53 5/209 23746
/proc/meminfo: memFree=30004860/32770624 swapFree=0/208276
[pid=23731] ppid=23728 vsize=13977988 CPUtime=3.75 cores=1,3,5,7
/proc/23731/stat : 23731 (java) S 23728 23731 5131 0 -1 1077944320 17454 0 0 0 359 16 0 0 20 0 15 0 12123797 14313459712 78718 18446744073709551615 4194304 4196468 140729463846048 140729463828592 139744165494519 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
/proc/23731/statm: 3494497 78718 3777 1 0 3483279 0
[pid=23731/tid=23733] ppid=23728 vsize=13977988 CPUtime=1.39 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (java) R 23728 23731 5131 0 -1 4202560 10043 0 0 0 133 6 0 0 20 0 15 0 12123806 14313459712 78718 18446744073709551615 4194304 4196468 140729463846048 139744169726928 139743757106432 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23734] ppid=23728 vsize=13977988 CPUtime=0.04 cores=1,3,5,7
/proc/23731/task/23734/stat : 23734 (java) S 23728 23731 5131 0 -1 1077944384 51 0 0 0 3 1 0 0 20 0 15 0 12123807 14313459712 78718 18446744073709551615 4194304 4196468 140729463846048 139744084908816 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23735] ppid=23728 vsize=13977988 CPUtime=0.06 cores=1,3,5,7
/proc/23731/task/23735/stat : 23735 (java) S 23728 23731 5131 0 -1 1077944384 92 0 0 0 4 2 0 0 20 0 15 0 12123807 14313459712 78718 18446744073709551615 4194304 4196468 140729463846048 139744083856272 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23736] ppid=23728 vsize=13977988 CPUtime=0.06 cores=1,3,5,7
/proc/23731/task/23736/stat : 23736 (java) S 23728 23731 5131 0 -1 1077944384 115 0 0 0 4 2 0 0 20 0 15 0 12123807 14313459712 78718 18446744073709551615 4194304 4196468 140729463846048 139744082803728 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23737] ppid=23728 vsize=13977988 CPUtime=0.04 cores=1,3,5,7
/proc/23731/task/23737/stat : 23737 (java) S 23728 23731 5131 0 -1 1077944384 94 0 0 0 2 2 0 0 20 0 15 0 12123807 14313459712 78718 18446744073709551615 4194304 4196468 140729463846048 139744081751184 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23738] ppid=23728 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23738/stat : 23738 (java) S 23728 23731 5131 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 12123808 14313459712 78718 18446744073709551615 4194304 4196468 140729463846048 139743643285488 139744165505666 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23739] ppid=23728 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23739/stat : 23739 (java) S 23728 23731 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12123809 14313459712 78718 18446744073709551615 4194304 4196468 140729463846048 139743642231712 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23740] ppid=23728 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23740/stat : 23740 (java) S 23728 23731 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 12123809 14313459712 78718 18446744073709551615 4194304 4196468 140729463846048 139743641179120 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23741] ppid=23728 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23741/stat : 23741 (java) S 23728 23731 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12123811 14313459712 78718 18446744073709551615 4194304 4196468 140729463846048 139743640127696 139744165513115 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23742] ppid=23728 vsize=13977988 CPUtime=0.89 cores=1,3,5,7
/proc/23731/task/23742/stat : 23742 (java) S 23728 23731 5131 0 -1 1077944384 2349 0 0 0 89 0 0 0 20 0 15 0 12123811 14313459712 78718 18446744073709551615 4194304 4196468 140729463846048 139743639075312 139744165505666 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23743] ppid=23728 vsize=13977988 CPUtime=0.85 cores=1,3,5,7
/proc/23731/task/23743/stat : 23743 (java) S 23728 23731 5131 0 -1 1077944384 2057 0 0 0 85 0 0 0 20 0 15 0 12123811 14313459712 78718 18446744073709551615 4194304 4196468 140729463846048 139743638022768 139744165505666 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23744] ppid=23728 vsize=13977988 CPUtime=0.36 cores=1,3,5,7
/proc/23731/task/23744/stat : 23744 (java) R 23728 23731 5131 0 -1 4202560 1200 0 0 0 36 0 0 0 20 0 15 0 12123811 14313459712 78718 18446744073709551615 4194304 4196468 140729463846048 139743636967160 139744144456224 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23745] ppid=23728 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23745/stat : 23745 (java) S 23728 23731 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12123811 14313459712 78718 18446744073709551615 4194304 4196468 140729463846048 139743635917920 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23746] ppid=23728 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23746/stat : 23746 (java) S 23728 23731 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12123815 14313459712 78718 18446744073709551615 4194304 4196468 140729463846048 139743634864432 139744165505666 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 13977988
[startup+2.00069 s]
/proc/loadavg: 1.48 1.56 1.53 5/209 23746
/proc/meminfo: memFree=30004860/32770624 swapFree=0/208276
[pid=23731] ppid=23728 vsize=13977988 CPUtime=4.78 cores=1,3,5,7
/proc/23731/stat : 23731 (java) S 23728 23731 5131 0 -1 1077944320 18069 0 0 0 458 20 0 0 20 0 15 0 12123797 14313459712 100737 18446744073709551615 4194304 4196468 140729463846048 140729463828592 139744165494519 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
/proc/23731/statm: 3494497 100737 3783 1 0 3483279 0
[pid=23731/tid=23733] ppid=23728 vsize=13977988 CPUtime=1.75 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (java) R 23728 23731 5131 0 -1 4202560 10161 0 0 0 168 7 0 0 20 0 15 0 12123806 14313459712 100737 18446744073709551615 4194304 4196468 140729463846048 139744169718592 139744149575006 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23734] ppid=23728 vsize=13977988 CPUtime=0.07 cores=1,3,5,7
/proc/23731/task/23734/stat : 23734 (java) S 23728 23731 5131 0 -1 1077944384 109 0 0 0 6 1 0 0 20 0 15 0 12123807 14313459712 100737 18446744073709551615 4194304 4196468 140729463846048 139744084908816 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23735] ppid=23728 vsize=13977988 CPUtime=0.08 cores=1,3,5,7
/proc/23731/task/23735/stat : 23735 (java) S 23728 23731 5131 0 -1 1077944384 114 0 0 0 6 2 0 0 20 0 15 0 12123807 14313459712 100737 18446744073709551615 4194304 4196468 140729463846048 139744083856272 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23736] ppid=23728 vsize=13977988 CPUtime=0.1 cores=1,3,5,7
/proc/23731/task/23736/stat : 23736 (java) S 23728 23731 5131 0 -1 1077944384 129 0 0 0 7 3 0 0 20 0 15 0 12123807 14313459712 100737 18446744073709551615 4194304 4196468 140729463846048 139744082803728 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23737] ppid=23728 vsize=13977988 CPUtime=0.06 cores=1,3,5,7
/proc/23731/task/23737/stat : 23737 (java) S 23728 23731 5131 0 -1 1077944384 101 0 0 0 4 2 0 0 20 0 15 0 12123807 14313459712 100737 18446744073709551615 4194304 4196468 140729463846048 139744081751184 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23738] ppid=23728 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23738/stat : 23738 (java) S 23728 23731 5131 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 12123808 14313459712 100737 18446744073709551615 4194304 4196468 140729463846048 139743643285488 139744165505666 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23739] ppid=23728 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23739/stat : 23739 (java) S 23728 23731 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12123809 14313459712 100737 18446744073709551615 4194304 4196468 140729463846048 139743642231776 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23740] ppid=23728 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23740/stat : 23740 (java) S 23728 23731 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 12123809 14313459712 100737 18446744073709551615 4194304 4196468 140729463846048 139743641179120 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23741] ppid=23728 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23741/stat : 23741 (java) S 23728 23731 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12123811 14313459712 100737 18446744073709551615 4194304 4196468 140729463846048 139743640127696 139744165513115 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23742] ppid=23728 vsize=13977988 CPUtime=1.12 cores=1,3,5,7
/proc/23731/task/23742/stat : 23742 (java) S 23728 23731 5131 0 -1 1077944384 2416 0 0 0 112 0 0 0 20 0 15 0 12123811 14313459712 100737 18446744073709551615 4194304 4196468 140729463846048 139743639075312 139744165505666 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23743] ppid=23728 vsize=13977988 CPUtime=1.11 cores=1,3,5,7
/proc/23731/task/23743/stat : 23743 (java) R 23728 23731 5131 0 -1 4202560 2126 0 0 0 110 1 0 0 20 0 15 0 12123811 14313459712 100737 18446744073709551615 4194304 4196468 140729463846048 139743638022768 139744147037875 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23744] ppid=23728 vsize=13977988 CPUtime=0.42 cores=1,3,5,7
/proc/23731/task/23744/stat : 23744 (java) S 23728 23731 5131 0 -1 1077944384 1335 0 0 0 42 0 0 0 20 0 15 0 12123811 14313459712 100737 18446744073709551615 4194304 4196468 140729463846048 139743636970224 139744165505666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23745] ppid=23728 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23745/stat : 23745 (java) S 23728 23731 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12123811 14313459712 100737 18446744073709551615 4194304 4196468 140729463846048 139743635917920 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23746] ppid=23728 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23746/stat : 23746 (java) S 23728 23731 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12123815 14313459712 100737 18446744073709551615 4194304 4196468 140729463846048 139743634864432 139744165505666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 13977988
[startup+2.10064 s]
/proc/loadavg: 1.48 1.56 1.53 5/209 23746
/proc/meminfo: memFree=30004860/32770624 swapFree=0/208276
[pid=23731] ppid=23728 vsize=13980036 CPUtime=4.97 cores=1,3,5,7
/proc/23731/stat : 23731 (java) S 23728 23731 5131 0 -1 1077944320 18524 0 0 0 477 20 0 0 20 0 15 0 12123797 14315556864 101224 18446744073709551615 4194304 4196468 140729463846048 140729463828592 139744165494519 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
/proc/23731/statm: 3495009 101224 3787 1 0 3483791 0
[pid=23731/tid=23733] ppid=23728 vsize=13980036 CPUtime=1.84 cores=1,3,5,7
/proc/23731/task/23733/stat : 23733 (java) R 23728 23731 5131 0 -1 4202560 10572 0 0 0 177 7 0 0 20 0 15 0 12123806 14315556864 101224 18446744073709551615 4194304 4196468 140729463846048 139744169723824 139744149575036 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23734] ppid=23728 vsize=13980036 CPUtime=0.07 cores=1,3,5,7
/proc/23731/task/23734/stat : 23734 (java) S 23728 23731 5131 0 -1 1077944384 109 0 0 0 6 1 0 0 20 0 15 0 12123807 14315556864 101224 18446744073709551615 4194304 4196468 140729463846048 139744084908816 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23735] ppid=23728 vsize=13980036 CPUtime=0.08 cores=1,3,5,7
/proc/23731/task/23735/stat : 23735 (java) S 23728 23731 5131 0 -1 1077944384 114 0 0 0 6 2 0 0 20 0 15 0 12123807 14315556864 101224 18446744073709551615 4194304 4196468 140729463846048 139744083856272 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23736] ppid=23728 vsize=13980036 CPUtime=0.1 cores=1,3,5,7
/proc/23731/task/23736/stat : 23736 (java) S 23728 23731 5131 0 -1 1077944384 129 0 0 0 7 3 0 0 20 0 15 0 12123807 14315556864 101224 18446744073709551615 4194304 4196468 140729463846048 139744082803728 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23737] ppid=23728 vsize=13980036 CPUtime=0.06 cores=1,3,5,7
/proc/23731/task/23737/stat : 23737 (java) S 23728 23731 5131 0 -1 1077944384 101 0 0 0 4 2 0 0 20 0 15 0 12123807 14315556864 101224 18446744073709551615 4194304 4196468 140729463846048 139744081751184 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23738] ppid=23728 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23738/stat : 23738 (java) S 23728 23731 5131 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 12123808 14315556864 101224 18446744073709551615 4194304 4196468 140729463846048 139743643285488 139744165505666 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23739] ppid=23728 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23739/stat : 23739 (java) S 23728 23731 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12123809 14315556864 101224 18446744073709551615 4194304 4196468 140729463846048 139743642231776 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23740] ppid=23728 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23740/stat : 23740 (java) S 23728 23731 5131 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 12123809 14315556864 101224 18446744073709551615 4194304 4196468 140729463846048 139743641179120 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23741] ppid=23728 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23741/stat : 23741 (java) S 23728 23731 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12123811 14315556864 101224 18446744073709551615 4194304 4196468 140729463846048 139743640127696 139744165513115 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23742] ppid=23728 vsize=13980036 CPUtime=1.15 cores=1,3,5,7
/proc/23731/task/23742/stat : 23742 (java) S 23728 23731 5131 0 -1 1077944384 2427 0 0 0 115 0 0 0 20 0 15 0 12123811 14315556864 101224 18446744073709551615 4194304 4196468 140729463846048 139743639075312 139744165505666 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23743] ppid=23728 vsize=13980036 CPUtime=1.16 cores=1,3,5,7
/proc/23731/task/23743/stat : 23743 (java) S 23728 23731 5131 0 -1 1077944384 2142 0 0 0 115 1 0 0 20 0 15 0 12123811 14315556864 101224 18446744073709551615 4194304 4196468 140729463846048 139743638022768 139744165505666 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23744] ppid=23728 vsize=13980036 CPUtime=0.43 cores=1,3,5,7
/proc/23731/task/23744/stat : 23744 (java) S 23728 23731 5131 0 -1 1077944384 1351 0 0 0 43 0 0 0 20 0 15 0 12123811 14315556864 101224 18446744073709551615 4194304 4196468 140729463846048 139743636970224 139744165505666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23745] ppid=23728 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23745/stat : 23745 (java) S 23728 23731 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12123811 14315556864 101224 18446744073709551615 4194304 4196468 140729463846048 139743635917920 139744165504725 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
[pid=23731/tid=23746] ppid=23728 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/23731/task/23746/stat : 23746 (java) S 23728 23731 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12123815 14315556864 101224 18446744073709551615 4194304 4196468 140729463846048 139743634864432 139744165505666 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19726336 140729463853461 140729463853643 140729463853643 140729463857103 0
Current children cumulated CPU time (s) 4.97
Current children cumulated vsize (KiB) 13980036
Child status: 0
Real time (s): 2.16727
CPU time (s): 5.08149
CPU user time (s): 4.87237
CPU system time (s): 0.209119
CPU usage (%): 234.465
Max. virtual memory (cumulated for all children) (KiB): 13980036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.87237
system time used= 0.209119
maximum resident set size= 407384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18878
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2303
involuntary context switches= 28
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.007158 second user time and 0.022378 second system time
The end