runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14906 MiB free)
memory of node 1: 16384 MiB (15320 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283839-1503213860/watcher-4283839-1503213860 -o /tmp/evaluation-result-4283839-1503213860/solver-4283839-1503213860 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503172173-21713 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2019297851 HOME/instance-4283839-1503213860.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30007, runsolver pid=30004
Current StackSize limit: 8192 KiB
[startup+0.105664 s]*
/proc/loadavg: 1.56 1.45 1.42 3/206 30014
/proc/meminfo: memFree=30946196/32770624 swapFree=67105588/67108860
[pid=30007] ppid=30004 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30007/stat : 30007 (xcsp3-exec) S 30004 30007 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123581027 9740288 345 18446744073709551615 4194304 5098028 140727648495632 140727648493736 140314544497276 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 13930496 140727648502136 140727648502341 140727648502341 140727648505835 0
/proc/30007/statm: 2378 345 289 221 0 87 0
[pid=30009] ppid=30007 vsize=13574484 memory=16544 CPUtime=0.02 cores=1,3,5,7
/proc/30009/stat : 30009 (java) S 30007 30007 8557 0 -1 1077944320 3987 0 0 0 1 1 0 0 20 0 9 0 123581035 13900271616 4136 18446744073709551615 4194304 4196468 140730622861744 140730622844288 140662363303671 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
/proc/30009/statm: 3393621 4136 2064 1 0 3383118 0
[pid=30009/tid=30010] ppid=30007 vsize=13574484 memory=-6871798056524144002 CPUtime=0.02 cores=1,3,5,7
/proc/30009/task/30010/stat : 30010 (java) R 30007 30007 8557 0 -1 4202560 2690 0 0 0 1 1 0 0 20 0 9 0 123581036 13900271616 4136 18446744073709551615 4194304 4196468 140730622861744 140662367539400 140662363325597 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30011] ppid=30007 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30011/stat : 30011 (java) S 30007 30007 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 123581036 13900271616 4136 18446744073709551615 4194304 4196468 140730622861744 140662328585232 140662363313877 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30012] ppid=30007 vsize=13574484 memory=139659898238592 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30012/stat : 30012 (java) S 30007 30007 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 123581036 13900271616 4136 18446744073709551615 4194304 4196468 140730622861744 140662327532688 140662363313877 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30013] ppid=30007 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30013/stat : 30013 (java) S 30007 30007 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 123581036 13900271616 4136 18446744073709551615 4194304 4196468 140730622861744 140661961788176 140662363313877 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30014] ppid=30007 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30014/stat : 30014 (java) S 30007 30007 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 123581036 13900271616 4136 18446744073709551615 4194304 4196468 140730622861744 140661960735632 140662363313877 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30015] ppid=30007 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30015/stat : 30015 (java) S 30007 30007 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 123581038 13900271616 4136 18446744073709551615 4194304 4196468 140730622861744 140661841787120 140662363314818 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30016] ppid=30007 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30016/stat : 30016 (java) S 30007 30007 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 123581038 13900271616 4136 18446744073709551615 4194304 4196468 140730622861744 140661840733344 140662363313877 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30017] ppid=30007 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30017/stat : 30017 (java) S 30007 30007 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 123581038 13900271616 4136 18446744073709551615 4194304 4196468 140730622861744 140661839680304 140662363313877 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 17924 KiB
[startup+0.215632 s]*
/proc/loadavg: 1.56 1.45 1.42 4/215 30023
/proc/meminfo: memFree=30936264/32770624 swapFree=67105588/67108860
[pid=30007] ppid=30004 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30007/stat : 30007 (xcsp3-exec) S 30004 30007 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123581027 9740288 345 18446744073709551615 4194304 5098028 140727648495632 140727648493736 140314544497276 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 13930496 140727648502136 140727648502341 140727648502341 140727648505835 0
/proc/30007/statm: 2378 345 289 221 0 87 0
[pid=30009] ppid=30007 vsize=13974352 memory=28300 CPUtime=0.12 cores=1,3,5,7
/proc/30009/stat : 30009 (java) S 30007 30007 8557 0 -1 1077944320 5511 0 0 0 11 1 0 0 20 0 15 0 123581035 14309736448 7075 18446744073709551615 4194304 4196468 140730622861744 140730622844288 140662363303671 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
/proc/30009/statm: 3493588 7075 2872 1 0 3482964 0
[pid=30009/tid=30010] ppid=30007 vsize=13974352 memory=8390339637985935414 CPUtime=0.09 cores=1,3,5,7
/proc/30009/task/30010/stat : 30010 (java) R 30007 30007 8557 0 -1 4202560 3475 0 0 0 8 1 0 0 20 0 15 0 123581036 14309736448 7075 18446744073709551615 4194304 4196468 140730622861744 140662367536944 140662003426561 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30011] ppid=30007 vsize=13974352 memory=288230596118061782 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30011/stat : 30011 (java) S 30007 30007 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123581036 14309736448 7075 18446744073709551615 4194304 4196468 140730622861744 140662328585232 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30012] ppid=30007 vsize=13974352 memory=3761826461303158432 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30012/stat : 30012 (java) S 30007 30007 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123581036 14309736448 7075 18446744073709551615 4194304 4196468 140730622861744 140662327532688 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30013] ppid=30007 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30013/stat : 30013 (java) S 30007 30007 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123581036 14309736448 7075 18446744073709551615 4194304 4196468 140730622861744 140661961788176 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30014] ppid=30007 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30014/stat : 30014 (java) S 30007 30007 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123581036 14309736448 7075 18446744073709551615 4194304 4196468 140730622861744 140661960735632 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30015] ppid=30007 vsize=13974352 memory=139659898238592 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30015/stat : 30015 (java) S 30007 30007 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123581038 14309736448 7075 18446744073709551615 4194304 4196468 140730622861744 140661841787120 140662363314818 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30016] ppid=30007 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30016/stat : 30016 (java) S 30007 30007 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123581038 14309736448 7075 18446744073709551615 4194304 4196468 140730622861744 140661840733344 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30017] ppid=30007 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30017/stat : 30017 (java) S 30007 30007 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123581038 14309736448 7075 18446744073709551615 4194304 4196468 140730622861744 140661839680240 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30018] ppid=30007 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30018/stat : 30018 (java) S 30007 30007 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123581041 14309736448 7075 18446744073709551615 4194304 4196468 140730622861744 140661838628816 140662363322267 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30019] ppid=30007 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30019/stat : 30019 (java) S 30007 30007 8557 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 123581041 14309736448 7075 18446744073709551615 4194304 4196468 140730622861744 140661837576944 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30020] ppid=30007 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30020/stat : 30020 (java) S 30007 30007 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123581041 14309736448 7075 18446744073709551615 4194304 4196468 140730622861744 140661836524400 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30021] ppid=30007 vsize=13974352 memory=139659898238592 CPUtime=0.01 cores=1,3,5,7
/proc/30009/task/30021/stat : 30021 (java) R 30007 30007 8557 0 -1 4202560 329 0 0 0 1 0 0 0 20 0 15 0 123581041 14309736448 7075 18446744073709551615 4194304 4196468 140730622861744 140661835471344 140662342260009 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30022] ppid=30007 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30022/stat : 30022 (java) S 30007 30007 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123581041 14309736448 7075 18446744073709551615 4194304 4196468 140730622861744 140661834419040 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30023] ppid=30007 vsize=13974352 memory=139659898238592 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30023/stat : 30023 (java) S 30007 30007 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123581044 14309736448 7075 18446744073709551615 4194304 4196468 140730622861744 140661833366064 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29680 KiB
[startup+0.312671 s]*
/proc/loadavg: 1.56 1.45 1.42 4/215 30023
/proc/meminfo: memFree=30923780/32770624 swapFree=67105588/67108860
[pid=30007] ppid=30004 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30007/stat : 30007 (xcsp3-exec) S 30004 30007 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123581027 9740288 345 18446744073709551615 4194304 5098028 140727648495632 140727648493736 140314544497276 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 13930496 140727648502136 140727648502341 140727648502341 140727648505835 0
/proc/30007/statm: 2378 345 289 221 0 87 0
[pid=30009] ppid=30007 vsize=13974352 memory=39300 CPUtime=0.32 cores=1,3,5,7
/proc/30009/stat : 30009 (java) S 30007 30007 8557 0 -1 1077944320 9101 0 0 0 29 3 0 0 20 0 15 0 123581035 14309736448 9825 18446744073709551615 4194304 4196468 140730622861744 140730622844288 140662363303671 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
/proc/30009/statm: 3493588 9825 3004 1 0 3482964 0
[pid=30009/tid=30010] ppid=30007 vsize=13974352 memory=8390339637985935414 CPUtime=0.19 cores=1,3,5,7
/proc/30009/task/30010/stat : 30010 (java) R 30007 30007 8557 0 -1 4202560 6323 0 0 0 17 2 0 0 20 0 15 0 123581036 14309736448 9825 18446744073709551615 4194304 4196468 140730622861744 140662367530304 140662347384158 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30011] ppid=30007 vsize=13974352 memory=301741395000173270 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30011/stat : 30011 (java) S 30007 30007 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123581036 14309736448 9825 18446744073709551615 4194304 4196468 140730622861744 140662328585232 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30012] ppid=30007 vsize=13974352 memory=3761826461303158432 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30012/stat : 30012 (java) S 30007 30007 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123581036 14309736448 9825 18446744073709551615 4194304 4196468 140730622861744 140662327532688 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30013] ppid=30007 vsize=13974352 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30013/stat : 30013 (java) S 30007 30007 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123581036 14309736448 9825 18446744073709551615 4194304 4196468 140730622861744 140661961788176 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30014] ppid=30007 vsize=13974352 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30014/stat : 30014 (java) S 30007 30007 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123581036 14309736448 9825 18446744073709551615 4194304 4196468 140730622861744 140661960735632 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30015] ppid=30007 vsize=13974352 memory=4211961235439362039 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30015/stat : 30015 (java) S 30007 30007 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123581038 14309736448 9825 18446744073709551615 4194304 4196468 140730622861744 140661841787120 140662363314818 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30016] ppid=30007 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30016/stat : 30016 (java) S 30007 30007 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123581038 14309736448 9825 18446744073709551615 4194304 4196468 140730622861744 140661840733344 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30017] ppid=30007 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30017/stat : 30017 (java) S 30007 30007 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123581038 14309736448 9825 18446744073709551615 4194304 4196468 140730622861744 140661839680240 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30018] ppid=30007 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30018/stat : 30018 (java) S 30007 30007 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123581041 14309736448 9825 18446744073709551615 4194304 4196468 140730622861744 140661838628816 140662363322267 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30019] ppid=30007 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30009/task/30019/stat : 30019 (java) S 30007 30007 8557 0 -1 1077944384 594 0 0 0 2 0 0 0 20 0 15 0 123581041 14309736448 9825 18446744073709551615 4194304 4196468 140730622861744 140661837576944 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30020] ppid=30007 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30009/task/30020/stat : 30020 (java) S 30007 30007 8557 0 -1 1077944384 158 0 0 0 2 0 0 0 20 0 15 0 123581041 14309736448 9825 18446744073709551615 4194304 4196468 140730622861744 140661836524400 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30021] ppid=30007 vsize=13974352 memory=139659898238592 CPUtime=0.07 cores=1,3,5,7
/proc/30009/task/30021/stat : 30021 (java) S 30007 30007 8557 0 -1 1077944384 722 0 0 0 7 0 0 0 20 0 15 0 123581041 14309736448 9825 18446744073709551615 4194304 4196468 140730622861744 140661835471344 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30022] ppid=30007 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30022/stat : 30022 (java) S 30007 30007 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123581041 14309736448 9825 18446744073709551615 4194304 4196468 140730622861744 140661834419040 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30023] ppid=30007 vsize=13974352 memory=139659898238592 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30023/stat : 30023 (java) S 30007 30007 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123581044 14309736448 9825 18446744073709551615 4194304 4196468 140730622861744 140661833366064 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40680 KiB
[startup+0.701659 s]
/proc/loadavg: 1.56 1.45 1.42 4/215 30023
/proc/meminfo: memFree=30913332/32770624 swapFree=67105588/67108860
[pid=30007] ppid=30004 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30007/stat : 30007 (xcsp3-exec) S 30004 30007 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123581027 9740288 345 18446744073709551615 4194304 5098028 140727648495632 140727648493736 140314544497276 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 13930496 140727648502136 140727648502341 140727648502341 140727648505835 0
/proc/30007/statm: 2378 345 289 221 0 87 0
[pid=30009] ppid=30007 vsize=13980732 memory=66640 CPUtime=1.23 cores=1,3,5,7
/proc/30009/stat : 30009 (java) S 30007 30007 8557 0 -1 1077944320 11864 0 0 0 118 5 0 0 20 0 15 0 123581035 14316269568 16660 18446744073709551615 4194304 4196468 140730622861744 140730622844288 140662363303671 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
/proc/30009/statm: 3495183 16660 3161 1 0 3483476 0
[pid=30009/tid=30010] ppid=30007 vsize=13980732 memory=2487121610241 CPUtime=0.56 cores=1,3,5,7
/proc/30009/task/30010/stat : 30010 (java) R 30007 30007 8557 0 -1 4202560 8078 0 0 0 53 3 0 0 20 0 15 0 123581036 14316269568 16660 18446744073709551615 4194304 4196468 140730622861744 140662367541520 140662363315606 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30011] ppid=30007 vsize=13980732 memory=2495711544833 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30011/stat : 30011 (java) S 30007 30007 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123581036 14316269568 16660 18446744073709551615 4194304 4196468 140730622861744 140662328585232 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30012] ppid=30007 vsize=13980732 memory=51036 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30012/stat : 30012 (java) S 30007 30007 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123581036 14316269568 16660 18446744073709551615 4194304 4196468 140730622861744 140662327532688 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30013] ppid=30007 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30013/stat : 30013 (java) S 30007 30007 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123581036 14316269568 16660 18446744073709551615 4194304 4196468 140730622861744 140661961788176 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30014] ppid=30007 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30014/stat : 30014 (java) S 30007 30007 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123581036 14316269568 16660 18446744073709551615 4194304 4196468 140730622861744 140661960735632 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30015] ppid=30007 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30015/stat : 30015 (java) S 30007 30007 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123581038 14316269568 16660 18446744073709551615 4194304 4196468 140730622861744 140661841787120 140662363314818 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30016] ppid=30007 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30016/stat : 30016 (java) S 30007 30007 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123581038 14316269568 16660 18446744073709551615 4194304 4196468 140730622861744 140661840733344 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30017] ppid=30007 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30017/stat : 30017 (java) S 30007 30007 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123581038 14316269568 16660 18446744073709551615 4194304 4196468 140730622861744 140661839680240 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30018] ppid=30007 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30018/stat : 30018 (java) S 30007 30007 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123581041 14316269568 16660 18446744073709551615 4194304 4196468 140730622861744 140661838628816 140662363322267 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30019] ppid=30007 vsize=13980732 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/30009/task/30019/stat : 30019 (java) R 30007 30007 8557 0 -1 4202560 908 0 0 0 18 0 0 0 20 0 15 0 123581041 14316269568 16660 18446744073709551615 4194304 4196468 140730622861744 140661837562096 140662344824853 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30020] ppid=30007 vsize=13980732 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/30009/task/30020/stat : 30020 (java) S 30007 30007 8557 0 -1 1077944384 360 0 0 0 16 0 0 0 20 0 15 0 123581041 14316269568 16660 18446744073709551615 4194304 4196468 140730622861744 140661836524400 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30021] ppid=30007 vsize=13980732 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/30009/task/30021/stat : 30021 (java) R 30007 30007 8557 0 -1 4202560 1211 0 0 0 30 0 0 0 20 0 15 0 123581041 14316269568 16660 18446744073709551615 4194304 4196468 140730622861744 140661835471344 140662347384158 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30022] ppid=30007 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30022/stat : 30022 (java) S 30007 30007 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123581041 14316269568 16660 18446744073709551615 4194304 4196468 140730622861744 140661834419040 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30023] ppid=30007 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30023/stat : 30023 (java) S 30007 30007 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123581044 14316269568 16660 18446744073709551615 4194304 4196468 140730622861744 140661833366064 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68020 KiB
[startup+1.50166 s]
/proc/loadavg: 1.56 1.45 1.42 5/215 30023
/proc/meminfo: memFree=30875112/32770624 swapFree=67105588/67108860
[pid=30007] ppid=30004 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30007/stat : 30007 (xcsp3-exec) S 30004 30007 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123581027 9740288 345 18446744073709551615 4194304 5098028 140727648495632 140727648493736 140314544497276 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 13930496 140727648502136 140727648502341 140727648502341 140727648505835 0
/proc/30007/statm: 2378 345 289 221 0 87 0
[pid=30009] ppid=30007 vsize=13980732 memory=143296 CPUtime=3.6 cores=1,3,5,7
/proc/30009/stat : 30009 (java) S 30007 30007 8557 0 -1 1077944320 21473 0 0 0 353 7 0 0 20 0 15 0 123581035 14316269568 35824 18446744073709551615 4194304 4196468 140730622861744 140730622844288 140662363303671 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
/proc/30009/statm: 3495183 35824 3186 1 0 3483476 0
[pid=30009/tid=30010] ppid=30007 vsize=13980732 memory=2529 CPUtime=1.36 cores=1,3,5,7
/proc/30009/task/30010/stat : 30010 (java) R 30007 30007 8557 0 -1 4202560 9615 0 0 0 131 5 0 0 20 0 15 0 123581036 14316269568 35824 18446744073709551615 4194304 4196468 140730622861744 140662367542872 140662008719082 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30011] ppid=30007 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30011/stat : 30011 (java) S 30007 30007 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123581036 14316269568 35824 18446744073709551615 4194304 4196468 140730622861744 140662328585232 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30012] ppid=30007 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30012/stat : 30012 (java) S 30007 30007 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123581036 14316269568 35824 18446744073709551615 4194304 4196468 140730622861744 140662327532688 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30013] ppid=30007 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30013/stat : 30013 (java) S 30007 30007 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123581036 14316269568 35824 18446744073709551615 4194304 4196468 140730622861744 140661961788176 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30014] ppid=30007 vsize=13980732 memory=4580 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/30009/task/30017/stat : 30017 (java) S 30007 30007 8557 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 123581038 14316269568 336653 18446744073709551615 4194304 4196468 140730622861744 140661839680256 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30018] ppid=30007 vsize=13980732 memory=66664 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30018/stat : 30018 (java) S 30007 30007 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123581041 14316269568 336653 18446744073709551615 4194304 4196468 140730622861744 140661838628816 140662363322267 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30019] ppid=30007 vsize=13980732 memory=1240 CPUtime=4.48 cores=1,3,5,7
/proc/30009/task/30019/stat : 30019 (java) S 30007 30007 8557 0 -1 1077944384 20045 0 0 0 446 2 0 0 20 0 15 0 123581041 14316269568 336653 18446744073709551615 4194304 4196468 140730622861744 140661837576944 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30020] ppid=30007 vsize=13980732 memory=1355332 CPUtime=4.45 cores=1,3,5,7
/proc/30009/task/30020/stat : 30020 (java) S 30007 30007 8557 0 -1 1077944384 18324 0 0 0 443 2 0 0 20 0 15 0 123581041 14316269568 336653 18446744073709551615 4194304 4196468 140730622861744 140661836524400 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30021] ppid=30007 vsize=13980732 memory=4144 CPUtime=0.85 cores=1,3,5,7
/proc/30009/task/30021/stat : 30021 (java) S 30007 30007 8557 0 -1 1077944384 9277 0 0 0 83 2 0 0 20 0 15 0 123581041 14316269568 336653 18446744073709551615 4194304 4196468 140730622861744 140661835471344 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30022] ppid=30007 vsize=13980732 memory=2384 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30022/stat : 30022 (java) S 30007 30007 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123581041 14316269568 336653 18446744073709551615 4194304 4196468 140730622861744 140661834419040 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30023] ppid=30007 vsize=13980732 memory=1672 CPUtime=1.17 cores=1,3,5,7
/proc/30009/task/30023/stat : 30023 (java) S 30007 30007 8557 0 -1 1077944384 1325 0 0 0 52 65 0 0 20 0 15 0 123581044 14316269568 336653 18446744073709551615 4194304 4196468 140730622861744 140661833366064 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
Current children cumulated CPU time: 2437.72 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1347992 KiB
[startup+2442.3 s]
/proc/loadavg: 1.86 1.71 1.68 3/216 30393
/proc/meminfo: memFree=29430460/32770624 swapFree=67105588/67108860
[pid=30007] ppid=30004 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30007/stat : 30007 (xcsp3-exec) S 30004 30007 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123581027 9740288 345 18446744073709551615 4194304 5098028 140727648495632 140727648493736 140314544497276 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 13930496 140727648502136 140727648502341 140727648502341 140727648505835 0
/proc/30007/statm: 2378 345 289 221 0 87 0
[pid=30009] ppid=30007 vsize=13980732 memory=1192184 CPUtime=2499 cores=1,3,5,7
/proc/30009/stat : 30009 (java) S 30007 30007 8557 0 -1 1077944320 303244 0 0 0 249065 835 0 0 20 0 15 0 123581035 14316269568 298046 18446744073709551615 4194304 4196468 140730622861744 140730622844288 140662363303671 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
/proc/30009/statm: 3495183 298046 3254 1 0 3483476 0
[pid=30009/tid=30010] ppid=30007 vsize=13980732 memory=1201416 CPUtime=2425.33 cores=1,3,5,7
/proc/30009/task/30010/stat : 30010 (java) R 30007 30007 8557 0 -1 4202560 129891 0 0 0 242486 47 0 0 20 0 15 0 123581036 14316269568 298046 18446744073709551615 4194304 4196468 140730622861744 140662367542640 140662010603236 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30011] ppid=30007 vsize=13980732 memory=1223988 CPUtime=15.48 cores=1,3,5,7
/proc/30009/task/30011/stat : 30011 (java) S 30007 30007 8557 0 -1 1077944384 20772 0 0 0 1369 179 0 0 20 0 15 0 123581036 14316269568 298046 18446744073709551615 4194304 4196468 140730622861744 140662328585232 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30012] ppid=30007 vsize=13980732 memory=1210652 CPUtime=15.46 cores=1,3,5,7
/proc/30009/task/30012/stat : 30012 (java) S 30007 30007 8557 0 -1 1077944384 23833 0 0 0 1366 180 0 0 20 0 15 0 123581036 14316269568 298046 18446744073709551615 4194304 4196468 140730622861744 140662327532688 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30013] ppid=30007 vsize=13980732 memory=1192184 CPUtime=15.44 cores=1,3,5,7
/proc/30009/task/30013/stat : 30013 (java) S 30007 30007 8557 0 -1 1077944384 19485 0 0 0 1364 180 0 0 20 0 15 0 123581036 14316269568 298046 18446744073709551615 4194304 4196468 140730622861744 140661961788176 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30014] ppid=30007 vsize=13980732 memory=1380 CPUtime=15.43 cores=1,3,5,7
/proc/30009/task/30014/stat : 30014 (java) S 30007 30007 8557 0 -1 1077944384 20978 0 0 0 1366 177 0 0 20 0 15 0 123581036 14316269568 298046 18446744073709551615 4194304 4196468 140730622861744 140661960735632 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30015] ppid=30007 vsize=13980732 memory=1380 CPUtime=0.8 cores=1,3,5,7
/proc/30009/task/30015/stat : 30015 (java) S 30007 30007 8557 0 -1 1077944384 37918 0 0 0 68 12 0 0 20 0 15 0 123581038 14316269568 298046 18446744073709551615 4194304 4196468 140730622861744 140661841787120 140662363314818 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30016] ppid=30007 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30016/stat : 30016 (java) S 30007 30007 8557 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 123581038 14316269568 298046 18446744073709551615 4194304 4196468 140730622861744 140661840733408 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30017] ppid=30007 vsize=13980732 memory=1215780 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30017/stat : 30017 (java) S 30007 30007 8557 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 123581038 14316269568 298046 18446744073709551615 4194304 4196468 140730622861744 140661839680256 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30018] ppid=30007 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30018/stat : 30018 (java) S 30007 30007 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123581041 14316269568 298046 18446744073709551615 4194304 4196468 140730622861744 140661838628816 140662363322267 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30019] ppid=30007 vsize=13980732 memory=4144 CPUtime=4.48 cores=1,3,5,7
/proc/30009/task/30019/stat : 30019 (java) S 30007 30007 8557 0 -1 1077944384 20045 0 0 0 446 2 0 0 20 0 15 0 123581041 14316269568 298046 18446744073709551615 4194304 4196468 140730622861744 140661837576944 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30020] ppid=30007 vsize=13980732 memory=1196800 CPUtime=4.45 cores=1,3,5,7
/proc/30009/task/30020/stat : 30020 (java) S 30007 30007 8557 0 -1 1077944384 18324 0 0 0 443 2 0 0 20 0 15 0 123581041 14316269568 298046 18446744073709551615 4194304 4196468 140730622861744 140661836524400 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30021] ppid=30007 vsize=13980732 memory=1380 CPUtime=0.85 cores=1,3,5,7
/proc/30009/task/30021/stat : 30021 (java) S 30007 30007 8557 0 -1 1077944384 9277 0 0 0 83 2 0 0 20 0 15 0 123581041 14316269568 298046 18446744073709551615 4194304 4196468 140730622861744 140661835471344 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30022] ppid=30007 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30022/stat : 30022 (java) S 30007 30007 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123581041 14316269568 298046 18446744073709551615 4194304 4196468 140730622861744 140661834419040 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30023] ppid=30007 vsize=13980732 memory=1192184 CPUtime=1.2 cores=1,3,5,7
/proc/30009/task/30023/stat : 30023 (java) S 30007 30007 8557 0 -1 1077944384 1340 0 0 0 53 67 0 0 20 0 15 0 123581044 14316269568 298046 18446744073709551615 4194304 4196468 140730622861744 140661833366064 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
Current children cumulated CPU time: 2499 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1193564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2463.11 s]
/proc/loadavg: 1.85 1.72 1.68 3/216 30393
/proc/meminfo: memFree=29425168/32770624 swapFree=67105588/67108860
[pid=30007] ppid=30004 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30007/stat : 30007 (xcsp3-exec) S 30004 30007 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123581027 9740288 345 18446744073709551615 4194304 5098028 140727648495632 140727648493736 140314544497276 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 13930496 140727648502136 140727648502341 140727648502341 140727648505835 0
/proc/30007/statm: 2378 345 289 221 0 87 0
[pid=30009] ppid=30007 vsize=13980732 memory=1140888 CPUtime=2520.08 cores=1,3,5,7
/proc/30009/stat : 30009 (java) S 30007 30007 8557 0 -1 1077944320 303586 0 0 0 251171 837 0 0 20 0 15 0 123581035 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140730622844288 140662363303671 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
/proc/30009/statm: 3495183 285222 3254 1 0 3483476 0
[pid=30009/tid=30010] ppid=30007 vsize=13980732 memory=1140884 CPUtime=2446.03 cores=1,3,5,7
/proc/30009/task/30010/stat : 30010 (java) R 30007 30007 8557 0 -1 4202560 130105 0 0 0 244556 47 0 0 20 0 15 0 123581036 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140662367543136 140662012467268 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30011] ppid=30007 vsize=13980732 memory=1140888 CPUtime=15.56 cores=1,3,5,7
/proc/30009/task/30011/stat : 30011 (java) S 30007 30007 8557 0 -1 1077944384 20794 0 0 0 1377 179 0 0 20 0 15 0 123581036 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140662328585232 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30012] ppid=30007 vsize=13980732 memory=1140888 CPUtime=15.54 cores=1,3,5,7
/proc/30009/task/30012/stat : 30012 (java) S 30007 30007 8557 0 -1 1077944384 23861 0 0 0 1374 180 0 0 20 0 15 0 123581036 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140662327532688 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30013] ppid=30007 vsize=13980732 memory=1380 CPUtime=15.53 cores=1,3,5,7
/proc/30009/task/30013/stat : 30013 (java) S 30007 30007 8557 0 -1 1077944384 19519 0 0 0 1373 180 0 0 20 0 15 0 123581036 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661961788176 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30014] ppid=30007 vsize=13980732 memory=0 CPUtime=15.52 cores=1,3,5,7
/proc/30009/task/30014/stat : 30014 (java) S 30007 30007 8557 0 -1 1077944384 21001 0 0 0 1375 177 0 0 20 0 15 0 123581036 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661960735632 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30015] ppid=30007 vsize=13980732 memory=1140888 CPUtime=0.81 cores=1,3,5,7
/proc/30009/task/30015/stat : 30015 (java) S 30007 30007 8557 0 -1 1077944384 37931 0 0 0 69 12 0 0 20 0 15 0 123581038 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661841787120 140662363314818 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30016] ppid=30007 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30016/stat : 30016 (java) S 30007 30007 8557 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 123581038 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661840733408 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30017] ppid=30007 vsize=13980732 memory=1144476 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30017/stat : 30017 (java) S 30007 30007 8557 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 123581038 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661839680256 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30018] ppid=30007 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30018/stat : 30018 (java) S 30007 30007 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123581041 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661838628816 140662363322267 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30019] ppid=30007 vsize=13980732 memory=1380 CPUtime=4.48 cores=1,3,5,7
/proc/30009/task/30019/stat : 30019 (java) S 30007 30007 8557 0 -1 1077944384 20047 0 0 0 446 2 0 0 20 0 15 0 123581041 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661837576944 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30020] ppid=30007 vsize=13980732 memory=-8774313645642428999 CPUtime=4.45 cores=1,3,5,7
/proc/30009/task/30020/stat : 30020 (java) S 30007 30007 8557 0 -1 1077944384 18326 0 0 0 443 2 0 0 20 0 15 0 123581041 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661836524400 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30021] ppid=30007 vsize=13980732 memory=-8774313645642428999 CPUtime=0.85 cores=1,3,5,7
/proc/30009/task/30021/stat : 30021 (java) S 30007 30007 8557 0 -1 1077944384 9279 0 0 0 83 2 0 0 20 0 15 0 123581041 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661835471344 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30022] ppid=30007 vsize=13980732 memory=1140884 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30022/stat : 30022 (java) S 30007 30007 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123581041 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661834419040 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30023] ppid=30007 vsize=13980732 memory=1380 CPUtime=1.2 cores=1,3,5,7
/proc/30009/task/30023/stat : 30023 (java) S 30007 30007 8557 0 -1 1077944384 1342 0 0 0 53 67 0 0 20 0 15 0 123581044 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661833366064 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1142268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2463.12 s]
# the end of solver process 30007 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001843 s
[startup+2463.12 s]
# the end of solver process 30009 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.73 s, system=8.38063 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2463.11 s]
/proc/loadavg: 1.85 1.72 1.68 3/216 30393
/proc/meminfo: memFree=29425168/32770624 swapFree=67105588/67108860
[pid=30007] ppid=30004 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30007/stat : 30007 (xcsp3-exec) S 30004 30007 8557 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123581027 9740288 345 18446744073709551615 4194304 5098028 140727648495632 140727648493736 140314544497276 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 13930496 140727648502136 140727648502341 140727648502341 140727648505835 0
/proc/30007/statm: 2378 345 289 221 0 87 0
[pid=30009] ppid=30007 vsize=13980732 memory=1140888 CPUtime=2520.08 cores=1,3,5,7
/proc/30009/stat : 30009 (java) S 30007 30007 8557 0 -1 1077944320 303586 0 0 0 251171 837 0 0 20 0 15 0 123581035 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140730622844288 140662363303671 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
/proc/30009/statm: 3495183 285222 3254 1 0 3483476 0
[pid=30009/tid=30010] ppid=30007 vsize=13980732 memory=1140884 CPUtime=2446.03 cores=1,3,5,7
/proc/30009/task/30010/stat : 30010 (java) R 30007 30007 8557 0 -1 4202560 130105 0 0 0 244556 47 0 0 20 0 15 0 123581036 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140662367543136 140662012467268 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30011] ppid=30007 vsize=13980732 memory=1140888 CPUtime=15.56 cores=1,3,5,7
/proc/30009/task/30011/stat : 30011 (java) S 30007 30007 8557 0 -1 1077944384 20794 0 0 0 1377 179 0 0 20 0 15 0 123581036 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140662328585232 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30012] ppid=30007 vsize=13980732 memory=1140888 CPUtime=15.54 cores=1,3,5,7
/proc/30009/task/30012/stat : 30012 (java) S 30007 30007 8557 0 -1 1077944384 23861 0 0 0 1374 180 0 0 20 0 15 0 123581036 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140662327532688 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30013] ppid=30007 vsize=13980732 memory=1380 CPUtime=15.53 cores=1,3,5,7
/proc/30009/task/30013/stat : 30013 (java) S 30007 30007 8557 0 -1 1077944384 19519 0 0 0 1373 180 0 0 20 0 15 0 123581036 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661961788176 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30014] ppid=30007 vsize=13980732 memory=0 CPUtime=15.52 cores=1,3,5,7
/proc/30009/task/30014/stat : 30014 (java) S 30007 30007 8557 0 -1 1077944384 21001 0 0 0 1375 177 0 0 20 0 15 0 123581036 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661960735632 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30015] ppid=30007 vsize=13980732 memory=1140888 CPUtime=0.81 cores=1,3,5,7
/proc/30009/task/30015/stat : 30015 (java) S 30007 30007 8557 0 -1 1077944384 37931 0 0 0 69 12 0 0 20 0 15 0 123581038 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661841787120 140662363314818 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30016] ppid=30007 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30016/stat : 30016 (java) S 30007 30007 8557 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 123581038 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661840733408 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30017] ppid=30007 vsize=13980732 memory=1144476 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30017/stat : 30017 (java) S 30007 30007 8557 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 123581038 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661839680256 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30018] ppid=30007 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30018/stat : 30018 (java) S 30007 30007 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123581041 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661838628816 140662363322267 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30019] ppid=30007 vsize=13980732 memory=1380 CPUtime=4.48 cores=1,3,5,7
/proc/30009/task/30019/stat : 30019 (java) S 30007 30007 8557 0 -1 1077944384 20047 0 0 0 446 2 0 0 20 0 15 0 123581041 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661837576944 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30020] ppid=30007 vsize=13980732 memory=-8774313645642428999 CPUtime=4.45 cores=1,3,5,7
/proc/30009/task/30020/stat : 30020 (java) S 30007 30007 8557 0 -1 1077944384 18326 0 0 0 443 2 0 0 20 0 15 0 123581041 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661836524400 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30021] ppid=30007 vsize=13980732 memory=-8774313645642428999 CPUtime=0.85 cores=1,3,5,7
/proc/30009/task/30021/stat : 30021 (java) S 30007 30007 8557 0 -1 1077944384 9279 0 0 0 83 2 0 0 20 0 15 0 123581041 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661835471344 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30022] ppid=30007 vsize=13980732 memory=1140884 CPUtime=0 cores=1,3,5,7
/proc/30009/task/30022/stat : 30022 (java) S 30007 30007 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123581041 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661834419040 140662363313877 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
[pid=30009/tid=30023] ppid=30007 vsize=13980732 memory=1380 CPUtime=1.2 cores=1,3,5,7
/proc/30009/task/30023/stat : 30023 (java) S 30007 30007 8557 0 -1 1077944384 1342 0 0 0 53 67 0 0 20 0 15 0 123581044 14316269568 285222 18446744073709551615 4194304 4196468 140730622861744 140661833366064 140662363314818 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36044800 140730622865841 140730622866017 140730622866017 140730622869455 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1142268 KiB
Child status: 143
Real time (s): 2463.12
CPU time (s): 2520.11
CPU user time (s): 2511.73
CPU system time (s): 8.38063
CPU usage (%): 102.313
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 4262188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.73
system time used= 8.38063
maximum resident set size= 4260864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 304259
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64191
involuntary context switches= 4375
# summary of solver processes directly reported to runsolver:
# pid: 30007,30009
# total CPU time (s): 2520.11
# total CPU user time (s): 2511.73
# total CPU system time (s): 8.38063
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7839 second user time and 24.6189 second system time
The end