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-4256159-1501641155/watcher-4256159-1501641155 -o /tmp/evaluation-result-4256159-1501641155/solver-4256159-1501641155 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501622945-15686 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 436292706 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256159-1501641155.xml
pid=32200
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.36 1.40 1.50 3/199 32203
/proc/meminfo: memFree=28275828/32770624 swapFree=0/215500
[pid=32203] ppid=32200 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/32203/stat : 32203 (runsolver) D 32200 32203 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 11930842 24240128 107 18446744073709551615 4194304 4338465 140733582094800 140733582092440 139640332677847 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 10375168 140733582098535 140733582099014 140733582099014 140733582102474 0
/proc/32203/statm: 5918 107 54 36 0 2156 0
[startup+0.100754 s]
/proc/loadavg: 1.36 1.40 1.50 3/199 32203
/proc/meminfo: memFree=28275828/32770624 swapFree=0/215500
[pid=32203] ppid=32200 vsize=13356344 CPUtime=0 cores=1,3,5,7
/proc/32203/stat : 32203 (java) S 32200 32203 5228 0 -1 1077944320 2672 0 0 0 0 0 0 0 20 0 6 0 11930842 13676896256 2327 18446744073709551615 4194304 4196468 140723881670688 140723881653232 139716662206199 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
/proc/32203/statm: 3339086 2327 1306 1 0 3329064 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13356344
[startup+0.200296 s]
/proc/loadavg: 1.36 1.40 1.50 3/199 32203
/proc/meminfo: memFree=28275828/32770624 swapFree=0/215500
[pid=32203] ppid=32200 vsize=13906484 CPUtime=0.05 cores=1,3,5,7
/proc/32203/stat : 32203 (java) S 32200 32203 5228 0 -1 1077944320 4766 0 0 0 4 1 0 0 20 0 14 0 11930842 14240239616 5319 18446744073709551615 4194304 4196468 140723881670688 140723881653232 139716662206199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
/proc/32203/statm: 3476621 5319 2574 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484
[startup+0.300251 s]
/proc/loadavg: 1.36 1.40 1.50 3/199 32203
/proc/meminfo: memFree=28275828/32770624 swapFree=0/215500
[pid=32203] ppid=32200 vsize=13975920 CPUtime=0.19 cores=1,3,5,7
/proc/32203/stat : 32203 (java) S 32200 32203 5228 0 -1 1077944320 9694 0 0 0 17 2 0 0 20 0 15 0 11930842 14311342080 9046 18446744073709551615 4194304 4196468 140723881670688 140723881653232 139716662206199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
/proc/32203/statm: 3493980 9046 3505 1 0 3482767 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13975920
[startup+0.704673 s]
/proc/loadavg: 1.36 1.40 1.50 3/199 32203
/proc/meminfo: memFree=28275828/32770624 swapFree=0/215500
[pid=32203] ppid=32200 vsize=13975940 CPUtime=1.07 cores=1,3,5,7
/proc/32203/stat : 32203 (java) S 32200 32203 5228 0 -1 1077944320 14330 0 0 0 101 6 0 0 20 0 15 0 11930842 14311362560 26799 18446744073709551615 4194304 4196468 140723881670688 140723881653232 139716662206199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
/proc/32203/statm: 3493985 26799 3716 1 0 3482767 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 13975940
[startup+1.50059 s]
/proc/loadavg: 1.33 1.39 1.50 8/213 32249
/proc/meminfo: memFree=31511056/32770624 swapFree=0/215488
[pid=32203] ppid=32200 vsize=13977988 CPUtime=3.29 cores=1,3,5,7
/proc/32203/stat : 32203 (java) S 32200 32203 5228 0 -1 1077944320 16710 0 0 0 314 15 0 0 20 0 15 0 11930842 14313459712 65741 18446744073709551615 4194304 4196468 140723881670688 140723881653232 139716662206199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
/proc/32203/statm: 3494497 65741 3767 1 0 3483279 0
[pid=32203/tid=32205] ppid=32200 vsize=13977988 CPUtime=1.24 cores=1,3,5,7
/proc/32203/task/32205/stat : 32205 (java) R 32200 32203 5228 0 -1 4202560 10456 0 0 0 119 5 0 0 20 0 15 0 11930851 14313459712 65741 18446744073709551615 4194304 4196468 140723881670688 139716666443760 139716304028472 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32206] ppid=32200 vsize=13977988 CPUtime=0.04 cores=1,3,5,7
/proc/32203/task/32206/stat : 32206 (java) S 32200 32203 5228 0 -1 1077944384 60 0 0 0 3 1 0 0 20 0 15 0 11930852 14313459712 65741 18446744073709551615 4194304 4196468 140723881670688 139716629764880 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32207] ppid=32200 vsize=13977988 CPUtime=0.06 cores=1,3,5,7
/proc/32203/task/32207/stat : 32207 (java) S 32200 32203 5228 0 -1 1077944384 70 0 0 0 5 1 0 0 20 0 15 0 11930852 14313459712 65741 18446744073709551615 4194304 4196468 140723881670688 139716261399440 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32208] ppid=32200 vsize=13977988 CPUtime=0.04 cores=1,3,5,7
/proc/32203/task/32208/stat : 32208 (java) S 32200 32203 5228 0 -1 1077944384 106 0 0 0 3 1 0 0 20 0 15 0 11930852 14313459712 65741 18446744073709551615 4194304 4196468 140723881670688 139716260346896 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32209] ppid=32200 vsize=13977988 CPUtime=0.05 cores=1,3,5,7
/proc/32203/task/32209/stat : 32209 (java) S 32200 32203 5228 0 -1 1077944384 97 0 0 0 4 1 0 0 20 0 15 0 11930852 14313459712 65741 18446744073709551615 4194304 4196468 140723881670688 139716259294352 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32210] ppid=32200 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32210/stat : 32210 (java) S 32200 32203 5228 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 11930853 14313459712 65741 18446744073709551615 4194304 4196468 140723881670688 139715579045872 139716662217346 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32211] ppid=32200 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32211/stat : 32211 (java) S 32200 32203 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11930854 14313459712 65741 18446744073709551615 4194304 4196468 140723881670688 139715577992096 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32212] ppid=32200 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32212/stat : 32212 (java) S 32200 32203 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 11930854 14313459712 65741 18446744073709551615 4194304 4196468 140723881670688 139715576939504 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32213] ppid=32200 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32213/stat : 32213 (java) S 32200 32203 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11930856 14313459712 65741 18446744073709551615 4194304 4196468 140723881670688 139715575888080 139716662224795 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32214] ppid=32200 vsize=13977988 CPUtime=0.71 cores=1,3,5,7
/proc/32203/task/32214/stat : 32214 (java) R 32200 32203 5228 0 -1 4202560 1971 0 0 0 70 1 0 0 20 0 15 0 11930857 14313459712 65741 18446744073709551615 4194304 4196468 140723881670688 139715574819328 139716645702670 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32215] ppid=32200 vsize=13977988 CPUtime=0.73 cores=1,3,5,7
/proc/32203/task/32215/stat : 32215 (java) R 32200 32203 5228 0 -1 4202560 1518 0 0 0 73 0 0 0 20 0 15 0 11930857 14313459712 65741 18446744073709551615 4194304 4196468 140723881670688 139715573770592 139716643728947 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32216] ppid=32200 vsize=13977988 CPUtime=0.33 cores=1,3,5,7
/proc/32203/task/32216/stat : 32216 (java) S 32200 32203 5228 0 -1 1077944384 980 0 0 0 33 0 0 0 20 0 15 0 11930857 14313459712 65741 18446744073709551615 4194304 4196468 140723881670688 139715572730608 139716662217346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32217] ppid=32200 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32217/stat : 32217 (java) S 32200 32203 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11930857 14313459712 65741 18446744073709551615 4194304 4196468 140723881670688 139715571678304 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32218] ppid=32200 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32218/stat : 32218 (java) S 32200 32203 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11930864 14313459712 65741 18446744073709551615 4194304 4196468 140723881670688 139715570624816 139716662217346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 13977988
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 32203 sig 9
??? kill -32203 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60642 s]
/proc/loadavg: 1.33 1.39 1.50 8/213 32249
/proc/meminfo: memFree=31511056/32770624 swapFree=0/215488
[pid=32203] ppid=32200 vsize=13977988 CPUtime=3.55 cores=1,3,5,7
/proc/32203/stat : 32203 (java) S 32200 32203 5228 0 -1 1077944320 16914 0 0 0 340 15 0 0 20 0 15 0 11930842 14313459712 77186 18446744073709551615 4194304 4196468 140723881670688 140723881653232 139716662206199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
/proc/32203/statm: 3494497 77186 3769 1 0 3483279 0
[pid=32203/tid=32205] ppid=32200 vsize=13977988 CPUtime=1.35 cores=1,3,5,7
/proc/32203/task/32205/stat : 32205 (java) R 32200 32203 5228 0 -1 1077944384 10555 0 0 0 129 6 0 0 20 0 15 0 11930851 14313459712 77186 18446744073709551615 4194304 4196468 140723881670688 139716666438976 139716662216405 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32206] ppid=32200 vsize=13977988 CPUtime=0.04 cores=1,3,5,7
/proc/32203/task/32206/stat : 32206 (java) S 32200 32203 5228 0 -1 1077944384 60 0 0 0 3 1 0 0 20 0 15 0 11930852 14313459712 77186 18446744073709551615 4194304 4196468 140723881670688 139716629764880 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32207] ppid=32200 vsize=13977988 CPUtime=0.06 cores=1,3,5,7
/proc/32203/task/32207/stat : 32207 (java) S 32200 32203 5228 0 -1 1077944384 70 0 0 0 5 1 0 0 20 0 15 0 11930852 14313459712 77186 18446744073709551615 4194304 4196468 140723881670688 139716261399440 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32208] ppid=32200 vsize=13977988 CPUtime=0.04 cores=1,3,5,7
/proc/32203/task/32208/stat : 32208 (java) S 32200 32203 5228 0 -1 1077944384 106 0 0 0 3 1 0 0 20 0 15 0 11930852 14313459712 77186 18446744073709551615 4194304 4196468 140723881670688 139716260346896 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32209] ppid=32200 vsize=13977988 CPUtime=0.05 cores=1,3,5,7
/proc/32203/task/32209/stat : 32209 (java) S 32200 32203 5228 0 -1 1077944384 97 0 0 0 4 1 0 0 20 0 15 0 11930852 14313459712 77186 18446744073709551615 4194304 4196468 140723881670688 139716259294352 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32210] ppid=32200 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32210/stat : 32210 (java) S 32200 32203 5228 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 11930853 14313459712 77186 18446744073709551615 4194304 4196468 140723881670688 139715579045872 139716662217346 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32211] ppid=32200 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32211/stat : 32211 (java) S 32200 32203 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11930854 14313459712 77186 18446744073709551615 4194304 4196468 140723881670688 139715577992096 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32212] ppid=32200 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32212/stat : 32212 (java) S 32200 32203 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 11930854 14313459712 77186 18446744073709551615 4194304 4196468 140723881670688 139715576939504 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32213] ppid=32200 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32213/stat : 32213 (java) S 32200 32203 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11930856 14313459712 77186 18446744073709551615 4194304 4196468 140723881670688 139715575888080 139716662224795 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32214] ppid=32200 vsize=13977988 CPUtime=0.78 cores=1,3,5,7
/proc/32203/task/32214/stat : 32214 (java) S 32200 32203 5228 0 -1 1077944384 1990 0 0 0 76 2 0 0 20 0 15 0 11930857 14313459712 77186 18446744073709551615 4194304 4196468 140723881670688 139715574835696 139716662217346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32215] ppid=32200 vsize=13977988 CPUtime=0.8 cores=1,3,5,7
/proc/32203/task/32215/stat : 32215 (java) S 32200 32203 5228 0 -1 1077944384 1528 0 0 0 80 0 0 0 20 0 15 0 11930857 14313459712 77186 18446744073709551615 4194304 4196468 140723881670688 139715573783152 139716662217346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32216] ppid=32200 vsize=13977988 CPUtime=0.35 cores=1,3,5,7
/proc/32203/task/32216/stat : 32216 (java) R 32200 32203 5228 0 -1 4202560 1058 0 0 0 35 0 0 0 20 0 15 0 11930857 14313459712 77186 18446744073709551615 4194304 4196468 140723881670688 139715572725984 139716640745334 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32217] ppid=32200 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32217/stat : 32217 (java) S 32200 32203 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11930857 14313459712 77186 18446744073709551615 4194304 4196468 140723881670688 139715571678304 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32218] ppid=32200 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32218/stat : 32218 (java) S 32200 32203 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11930864 14313459712 77186 18446744073709551615 4194304 4196468 140723881670688 139715570624816 139716662217346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 13977988
[startup+2.00067 s]
/proc/loadavg: 1.33 1.39 1.50 8/213 32249
/proc/meminfo: memFree=31511056/32770624 swapFree=0/215488
[pid=32203] ppid=32200 vsize=13977988 CPUtime=4.59 cores=1,3,5,7
/proc/32203/stat : 32203 (java) S 32200 32203 5228 0 -1 1077944320 17522 0 0 0 439 20 0 0 20 0 15 0 11930842 14313459712 98761 18446744073709551615 4194304 4196468 140723881670688 140723881653232 139716662206199 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
/proc/32203/statm: 3494497 98761 3787 1 0 3483279 0
[pid=32203/tid=32205] ppid=32200 vsize=13977988 CPUtime=1.71 cores=1,3,5,7
/proc/32203/task/32205/stat : 32205 (java) R 32200 32203 5228 0 -1 4202560 10627 0 0 0 164 7 0 0 20 0 15 0 11930851 14313459712 98761 18446744073709551615 4194304 4196468 140723881670688 139716666441320 139716308489540 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32206] ppid=32200 vsize=13977988 CPUtime=0.07 cores=1,3,5,7
/proc/32203/task/32206/stat : 32206 (java) S 32200 32203 5228 0 -1 1077944384 74 0 0 0 5 2 0 0 20 0 15 0 11930852 14313459712 98761 18446744073709551615 4194304 4196468 140723881670688 139716629764880 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32207] ppid=32200 vsize=13977988 CPUtime=0.09 cores=1,3,5,7
/proc/32203/task/32207/stat : 32207 (java) S 32200 32203 5228 0 -1 1077944384 83 0 0 0 7 2 0 0 20 0 15 0 11930852 14313459712 98761 18446744073709551615 4194304 4196468 140723881670688 139716261399440 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32208] ppid=32200 vsize=13977988 CPUtime=0.08 cores=1,3,5,7
/proc/32203/task/32208/stat : 32208 (java) S 32200 32203 5228 0 -1 1077944384 157 0 0 0 6 2 0 0 20 0 15 0 11930852 14313459712 98761 18446744073709551615 4194304 4196468 140723881670688 139716260346896 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32209] ppid=32200 vsize=13977988 CPUtime=0.08 cores=1,3,5,7
/proc/32203/task/32209/stat : 32209 (java) S 32200 32203 5228 0 -1 1077944384 118 0 0 0 6 2 0 0 20 0 15 0 11930852 14313459712 98761 18446744073709551615 4194304 4196468 140723881670688 139716259294352 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32210] ppid=32200 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32210/stat : 32210 (java) S 32200 32203 5228 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 11930853 14313459712 98761 18446744073709551615 4194304 4196468 140723881670688 139715579045872 139716662217346 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32211] ppid=32200 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32211/stat : 32211 (java) S 32200 32203 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11930854 14313459712 98761 18446744073709551615 4194304 4196468 140723881670688 139715577992160 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32212] ppid=32200 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32212/stat : 32212 (java) S 32200 32203 5228 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 11930854 14313459712 98761 18446744073709551615 4194304 4196468 140723881670688 139715576939520 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32213] ppid=32200 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32213/stat : 32213 (java) S 32200 32203 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11930856 14313459712 98761 18446744073709551615 4194304 4196468 140723881670688 139715575888080 139716662224795 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32214] ppid=32200 vsize=13977988 CPUtime=1.02 cores=1,3,5,7
/proc/32203/task/32214/stat : 32214 (java) S 32200 32203 5228 0 -1 1077944384 2071 0 0 0 100 2 0 0 20 0 15 0 11930857 14313459712 98761 18446744073709551615 4194304 4196468 140723881670688 139715574835696 139716662217346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32215] ppid=32200 vsize=13977988 CPUtime=1.04 cores=1,3,5,7
/proc/32203/task/32215/stat : 32215 (java) S 32200 32203 5228 0 -1 1077944384 1589 0 0 0 104 0 0 0 20 0 15 0 11930857 14313459712 98761 18446744073709551615 4194304 4196468 140723881670688 139715573783152 139716662217346 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32216] ppid=32200 vsize=13977988 CPUtime=0.42 cores=1,3,5,7
/proc/32203/task/32216/stat : 32216 (java) S 32200 32203 5228 0 -1 1077944384 1225 0 0 0 42 0 0 0 20 0 15 0 11930857 14313459712 98761 18446744073709551615 4194304 4196468 140723881670688 139715572730608 139716662217346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32217] ppid=32200 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32217/stat : 32217 (java) S 32200 32203 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11930857 14313459712 98761 18446744073709551615 4194304 4196468 140723881670688 139715571678304 139716662216405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
[pid=32203/tid=32218] ppid=32200 vsize=13977988 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32218/stat : 32218 (java) S 32200 32203 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11930864 14313459712 98761 18446744073709551615 4194304 4196468 140723881670688 139715570624816 139716662217346 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36605952 140723881673106 140723881673291 140723881673291 140723881676751 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 13977988
[startup+2.20063 s]
/proc/loadavg: 1.33 1.39 1.50 1/181 32267
/proc/meminfo: memFree=31840672/32770624 swapFree=0/215488
[pid=32203] ppid=32200 vsize=0 CPUtime=4.9 cores=1,3,5,7
/proc/32203/stat : 32203 (java) Z 32200 32203 5228 0 -1 4227084 18383 0 0 0 469 21 0 0 20 0 2 0 11930842 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 0 0 0 0 0 0 0 0
/proc/32203/statm: 0 0 0 0 0 0 0
[pid=32203/tid=32216] ppid=32200 vsize=0 CPUtime=0.46 cores=1,3,5,7
/proc/32203/task/32216/stat : 32216 (java) D 32200 32203 5228 0 -1 4203588 1276 0 0 0 45 1 0 0 20 0 2 0 11930857 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 2.2975
CPU time (s): 4.91412
CPU user time (s): 4.69813
CPU system time (s): 0.215994
CPU usage (%): 213.89
Max. virtual memory (cumulated for all children) (KiB): 13980036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.69813
system time used= 0.215994
maximum resident set size= 399252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18383
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= 2139
involuntary context switches= 45
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.014921 second user time and 0.014781 second system time
The end