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-4247735-1500730089/watcher-4247735-1500730089 -o /tmp/evaluation-result-4247735-1500730089/solver-4247735-1500730089 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500714400-18227 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1514722811 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4247735-1500730089.xml
pid=21747
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 2.01 2.03 1.95 3/261 21750
/proc/meminfo: memFree=31036784/32770624 swapFree=5892/164192
[pid=21750] ppid=21747 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/stat : 21750 (java) S 21747 21750 18196 0 -1 1077944320 1930 0 0 0 0 0 0 0 20 0 2 0 8278623 10889764864 2168 33554432000 4194304 4196468 140720329201904 140720329184448 140055143522039 0 0 0 16784584 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
/proc/21750/statm: 2658634 2168 1188 1 0 2647545 0
[pid=21750/tid=21751] ppid=21747 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21751/stat : 21751 (java) R 21747 21750 18196 0 -1 4202560 716 0 0 0 0 0 0 0 20 0 2 0 8278623 10889764864 2234 33554432000 4194304 4196468 140720329201904 140055147764128 140055135811488 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[startup+0.100062 s]
/proc/loadavg: 2.01 2.03 1.95 3/261 21750
/proc/meminfo: memFree=31036784/32770624 swapFree=5892/164192
[pid=21750] ppid=21747 vsize=13263912 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/21750/stat : 21750 (java) S 21747 21750 18196 0 -1 1077944320 5894 0 0 0 9 1 0 0 20 0 20 0 8278623 13582245888 6155 33554432000 4194304 4196468 140720329201904 140720329184448 140055143522039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
/proc/21750/statm: 3315978 6155 2678 1 0 3303698 0
[pid=21750/tid=21751] ppid=21747 vsize=13263912 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21751/stat : 21751 (java) R 21747 21750 18196 0 -1 4202560 3979 0 0 0 8 0 0 0 20 0 20 0 8278623 13582245888 6155 33554432000 4194304 4196468 140720329201904 140055147761816 140055100157814 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13263912
[startup+0.200358 s]
/proc/loadavg: 2.01 2.03 1.95 3/261 21750
/proc/meminfo: memFree=31036784/32770624 swapFree=5892/164192
[pid=21750] ppid=21747 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/21750/stat : 21750 (java) S 21747 21750 18196 0 -1 1077944320 8872 0 0 0 24 2 0 0 20 0 20 0 8278623 13582245888 8913 33554432000 4194304 4196468 140720329201904 140720329184448 140055143522039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
/proc/21750/statm: 3315978 8913 3561 1 0 3303698 0
[pid=21750/tid=21751] ppid=21747 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21751/stat : 21751 (java) R 21747 21750 18196 0 -1 4202560 6603 0 0 0 17 1 0 0 20 0 20 0 8278623 13582245888 8913 33554432000 4194304 4196468 140720329201904 140055147743760 140055143543965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300303 s]
/proc/loadavg: 2.01 2.03 1.95 3/261 21750
/proc/meminfo: memFree=31036784/32770624 swapFree=5892/164192
[pid=21750] ppid=21747 vsize=13263912 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/21750/stat : 21750 (java) S 21747 21750 18196 0 -1 1077944320 9856 0 0 0 40 3 0 0 20 0 20 0 8278623 13582245888 10590 33554432000 4194304 4196468 140720329201904 140720329184448 140055143522039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
/proc/21750/statm: 3315978 10590 3619 1 0 3303698 0
[pid=21750/tid=21751] ppid=21747 vsize=13263912 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21751/stat : 21751 (java) R 21747 21750 18196 0 -1 4202560 7317 0 0 0 26 2 0 0 20 0 20 0 8278623 13582245888 10590 33554432000 4194304 4196468 140720329201904 140055147744864 140055127602526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 13263912
[startup+0.700192 s]
/proc/loadavg: 2.01 2.03 1.95 3/261 21750
/proc/meminfo: memFree=31036784/32770624 swapFree=5892/164192
[pid=21750] ppid=21747 vsize=13268028 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/21750/stat : 21750 (java) S 21747 21750 18196 0 -1 1077944320 12582 0 0 0 116 5 0 0 20 0 20 0 8278623 13586460672 17867 33554432000 4194304 4196468 140720329201904 140720329184448 140055143522039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
/proc/21750/statm: 3317007 17867 3750 1 0 3304722 0
[pid=21750/tid=21751] ppid=21747 vsize=13268028 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21751/stat : 21751 (java) R 21747 21750 18196 0 -1 4202560 8858 0 0 0 64 3 0 0 20 0 20 0 8278623 13586460672 17867 33554432000 4194304 4196468 140720329201904 140055147745184 140055125103934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 13268028
[startup+1.50077 s]
/proc/loadavg: 2.17 2.06 1.96 6/281 21770
/proc/meminfo: memFree=30947812/32770624 swapFree=5892/164200
[pid=21750] ppid=21747 vsize=13336640 CPUtime=3.94 cores=0,2,4,6,8,10,12,14
/proc/21750/stat : 21750 (java) S 21747 21750 18196 0 -1 1077944320 24613 0 0 0 386 8 0 0 20 0 19 0 8278623 13656719360 34540 33554432000 4194304 4196468 140720329201904 140720329184448 140055143522039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
/proc/21750/statm: 3334160 34540 3788 1 0 3321875 0
[pid=21750/tid=21751] ppid=21747 vsize=13336640 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21751/stat : 21751 (java) S 21747 21750 18196 0 -1 1077944384 11099 0 0 0 140 4 0 0 20 0 19 0 8278623 13656719360 34540 33554432000 4194304 4196468 140720329201904 140055147764880 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21753] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21753/stat : 21753 (java) S 21747 21750 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 8278624 13656719360 34540 33554432000 4194304 4196468 140720329201904 140055062002064 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21754] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21754/stat : 21754 (java) S 21747 21750 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 8278624 13656719360 34540 33554432000 4194304 4196468 140720329201904 140055060949264 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21755] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21755/stat : 21755 (java) S 21747 21750 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 8278624 13656719360 34540 33554432000 4194304 4196468 140720329201904 140055059896976 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21756] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21756/stat : 21756 (java) S 21747 21750 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 8278624 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054739544592 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21757] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21757/stat : 21757 (java) S 21747 21750 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 8278624 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054738492304 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21758] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21758/stat : 21758 (java) S 21747 21750 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 8278624 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054737439504 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21759] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21759/stat : 21759 (java) S 21747 21750 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 8278624 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054736387216 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21760] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21760/stat : 21760 (java) S 21747 21750 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 8278624 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054735334416 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21761] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21761/stat : 21761 (java) S 21747 21750 18196 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 8278626 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054472538432 140055143533186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21762] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21762/stat : 21762 (java) S 21747 21750 18196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 8278626 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054471484192 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21763] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21763/stat : 21763 (java) S 21747 21750 18196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 8278627 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054470431856 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21764] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21764/stat : 21764 (java) S 21747 21750 18196 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 8278631 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054469378944 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21765] ppid=21747 vsize=13336640 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21765/stat : 21765 (java) S 21747 21750 18196 0 -1 1077944384 3475 0 0 0 63 0 0 0 20 0 19 0 8278631 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054468306832 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21766] ppid=21747 vsize=13336640 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21766/stat : 21766 (java) S 21747 21750 18196 0 -1 1077944384 2466 0 0 0 59 0 0 0 20 0 19 0 8278631 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054467275248 140055143533186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21767] ppid=21747 vsize=13336640 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21767/stat : 21767 (java) R 21747 21750 18196 0 -1 4202560 3589 0 0 0 70 0 0 0 20 0 19 0 8278631 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054466208840 140055128637143 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21768] ppid=21747 vsize=13336640 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21768/stat : 21768 (java) S 21747 21750 18196 0 -1 1077944384 2529 0 0 0 52 1 0 0 20 0 19 0 8278631 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054465170160 140055143533186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21769] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21769/stat : 21769 (java) S 21747 21750 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 8278631 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054464117088 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 13336640
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21750 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50077 s]
/proc/loadavg: 2.17 2.06 1.96 6/281 21770
/proc/meminfo: memFree=30947812/32770624 swapFree=5892/164200
[pid=21750] ppid=21747 vsize=13336640 CPUtime=3.94 cores=0,2,4,6,8,10,12,14
/proc/21750/stat : 21750 (java) S 21747 21750 18196 0 -1 1077944320 24613 0 0 0 386 8 0 0 20 0 19 0 8278623 13656719360 34540 33554432000 4194304 4196468 140720329201904 140720329184448 140055143522039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
/proc/21750/statm: 3334160 34540 3788 1 0 3321875 0
[pid=21750/tid=21751] ppid=21747 vsize=13336640 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21751/stat : 21751 (java) S 21747 21750 18196 0 -1 1077944384 11099 0 0 0 140 4 0 0 20 0 19 0 8278623 13656719360 34540 33554432000 4194304 4196468 140720329201904 140055147764880 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21753] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21753/stat : 21753 (java) S 21747 21750 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 8278624 13656719360 34540 33554432000 4194304 4196468 140720329201904 140055062002064 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21754] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21754/stat : 21754 (java) S 21747 21750 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 8278624 13656719360 34540 33554432000 4194304 4196468 140720329201904 140055060949264 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21755] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21755/stat : 21755 (java) S 21747 21750 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 8278624 13656719360 34540 33554432000 4194304 4196468 140720329201904 140055059896976 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21756] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21756/stat : 21756 (java) S 21747 21750 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 8278624 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054739544592 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21757] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21757/stat : 21757 (java) S 21747 21750 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 8278624 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054738492304 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21758] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21758/stat : 21758 (java) S 21747 21750 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 8278624 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054737439504 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21759] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21759/stat : 21759 (java) S 21747 21750 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 8278624 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054736387216 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21760] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21760/stat : 21760 (java) S 21747 21750 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 8278624 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054735334416 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21761] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21761/stat : 21761 (java) S 21747 21750 18196 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 8278626 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054472538432 140055143533186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21762] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21762/stat : 21762 (java) S 21747 21750 18196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 8278626 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054471484192 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21763] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21763/stat : 21763 (java) S 21747 21750 18196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 8278627 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054470431856 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21764] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21764/stat : 21764 (java) S 21747 21750 18196 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 8278631 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054469378944 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21765] ppid=21747 vsize=13336640 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21765/stat : 21765 (java) S 21747 21750 18196 0 -1 1077944384 3475 0 0 0 63 0 0 0 20 0 19 0 8278631 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054468306832 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21766] ppid=21747 vsize=13336640 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21766/stat : 21766 (java) S 21747 21750 18196 0 -1 1077944384 2466 0 0 0 59 0 0 0 20 0 19 0 8278631 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054467275248 140055143533186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21767] ppid=21747 vsize=13336640 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21767/stat : 21767 (java) R 21747 21750 18196 0 -1 4202560 3589 0 0 0 70 0 0 0 20 0 19 0 8278631 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054466208840 140055128637143 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21768] ppid=21747 vsize=13336640 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21768/stat : 21768 (java) S 21747 21750 18196 0 -1 1077944384 2529 0 0 0 52 1 0 0 20 0 19 0 8278631 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054465170160 140055143533186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
[pid=21750/tid=21769] ppid=21747 vsize=13336640 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/21750/task/21769/stat : 21769 (java) S 21747 21750 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 8278631 13656719360 34540 33554432000 4194304 4196468 140720329201904 140054464117088 140055143532245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13340672 140720329208969 140720329209156 140720329209156 140720329211855 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 13336640
Child status: 0
Real time (s): 1.53138
CPU time (s): 3.97015
CPU user time (s): 3.86849
CPU system time (s): 0.101668
CPU usage (%): 259.254
Max. virtual memory (cumulated for all children) (KiB): 13336640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.86849
system time used= 0.101668
maximum resident set size= 139380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24788
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3656
involuntary context switches= 369
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.019594 second user time and 0.029392 second system time
The end