0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405098-1569003604.xml" -tl '2016s' -p 8
0.12/0.18 c Choco 3fb4b153
0.12/0.18 c [HOME/instance-4405098-1569003604.xml, -tl, 2016s, -p, 8]
0.33/0.22 c 8 solvers in parallel
0.33/0.28 c parse instance...
4.49/1.30 c solve instance...
2002.97/252.07 s UNKNOWN
2002.97/252.07 c Unexpected resolution interruption!
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 (11015 MiB free)
memory of node 1: 16384 MiB (12891 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405098-1569003604/watcher-4405098-1569003604 -o /var/tmp/evaluation-result-4405098-1569003604/solver-4405098-1569003604 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1568994386-6070 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 462386379 HOME/instance-4405098-1569003604.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13664, runsolver pid=13661
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 8.21 8.34 8.24 2/215 13685
/proc/meminfo: memFree=24463768/32770624 swapFree=67001928/67108860
[pid=13664] ppid=13661 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13664/stat : 13664 (xcsp3-exec) S 13661 13664 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476600004 115843072 364 33554432000 4194304 5098028 140721973978512 140721973976616 140261119750780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15212544 140721973982040 140721973982298 140721973982298 140721973985222 0
/proc/13664/statm: 28282 364 305 221 0 87 0
[pid=13666] ppid=13664 vsize=28227396 memory=29504 CPUtime=0.12 cores=0-7
/proc/13666/stat : 13666 (java) S 13664 13664 6043 0 -1 1077944320 5790 0 0 0 11 1 0 0 20 0 20 0 476600004 28904853504 7376 33554432000 4194304 4196468 140736812406304 140736812388848 139636636475127 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
/proc/13666/statm: 7056849 7376 3136 1 0 7019032 0
[pid=13666/tid=13667] ppid=13664 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/13666/task/13667/stat : 13667 (java) R 13664 13664 6043 0 -1 4202560 3704 0 0 0 8 1 0 0 20 0 20 0 476600004 28904853504 7376 33554432000 4194304 4196468 140736812406304 139636640711232 139636636497053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13668] ppid=13664 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13666/task/13668/stat : 13668 (java) S 13664 13664 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600005 28904853504 7376 33554432000 4194304 4196468 140736812406304 139636589095824 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13669] ppid=13664 vsize=28227396 memory=140058276783744 CPUtime=0 cores=0-7
/proc/13666/task/13669/stat : 13669 (java) S 13664 13664 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476600005 28904853504 7376 33554432000 4194304 4196468 140736812406304 139636588043024 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13670] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13670/stat : 13670 (java) S 13664 13664 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600005 28904853504 7376 33554432000 4194304 4196468 140736812406304 139636586990736 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13671] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13671/stat : 13671 (java) S 13664 13664 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600005 28904853504 7376 33554432000 4194304 4196468 140736812406304 139636585937936 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13672] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13672/stat : 13672 (java) S 13664 13664 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600005 28904853504 7376 33554432000 4194304 4196468 140736812406304 139636584884624 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13673] ppid=13664 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13666/task/13673/stat : 13673 (java) S 13664 13664 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600005 28904853504 7376 33554432000 4194304 4196468 140736812406304 139636583831824 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13674] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13674/stat : 13674 (java) S 13664 13664 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600005 28904853504 7376 33554432000 4194304 4196468 140736812406304 139636582779536 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13675] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13675/stat : 13675 (java) S 13664 13664 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600005 28904853504 7376 33554432000 4194304 4196468 140736812406304 139636581726736 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13676] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13676/stat : 13676 (java) S 13664 13664 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600007 28904853504 7376 33554432000 4194304 4196468 140736812406304 139635100576368 139636636486274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13677] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13677/stat : 13677 (java) S 13664 13664 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476600007 28904853504 7376 33554432000 4194304 4196468 140736812406304 139635099522336 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13678] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13678/stat : 13678 (java) S 13664 13664 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476600007 28904853504 7376 33554432000 4194304 4196468 140736812406304 139635098470000 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13679] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13679/stat : 13679 (java) S 13664 13664 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600010 28904853504 7376 33554432000 4194304 4196468 140736812406304 139635097418320 139636636493723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13680] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13680/stat : 13680 (java) S 13664 13664 6043 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 20 0 476600010 28904853504 7376 33554432000 4194304 4196468 140736812406304 139635096365168 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13681] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13681/stat : 13681 (java) S 13664 13664 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476600010 28904853504 7376 33554432000 4194304 4196468 140736812406304 139635095312368 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13682] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13682/stat : 13682 (java) S 13664 13664 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476600010 28904853504 7376 33554432000 4194304 4196468 140736812406304 139635094260080 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13683] ppid=13664 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/13666/task/13683/stat : 13683 (java) R 13664 13664 6043 0 -1 4202560 333 0 0 0 2 0 0 0 20 0 20 0 476600010 28904853504 7376 33554432000 4194304 4196468 140736812406304 139635093207280 139636615138704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13684] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13684/stat : 13684 (java) S 13664 13664 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476600010 28904853504 7376 33554432000 4194304 4196468 140736812406304 139635092155232 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13685] ppid=13664 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13666/task/13685/stat : 13685 (java) S 13664 13664 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600011 28904853504 7376 33554432000 4194304 4196468 140736812406304 139635023932208 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30960 KiB
[startup+0.211079 s]*
/proc/loadavg: 8.21 8.34 8.24 3/215 13685
/proc/meminfo: memFree=24451248/32770624 swapFree=67001928/67108860
[pid=13664] ppid=13661 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13664/stat : 13664 (xcsp3-exec) S 13661 13664 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476600004 115843072 364 33554432000 4194304 5098028 140721973978512 140721973976616 140261119750780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15212544 140721973982040 140721973982298 140721973982298 140721973985222 0
/proc/13664/statm: 28282 364 305 221 0 87 0
[pid=13666] ppid=13664 vsize=28227396 memory=41132 CPUtime=0.33 cores=0-7
/proc/13666/stat : 13666 (java) S 13664 13664 6043 0 -1 1077944320 9514 0 0 0 30 3 0 0 20 0 20 0 476600004 28904853504 10283 33554432000 4194304 4196468 140736812406304 140736812388848 139636636475127 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
/proc/13666/statm: 7056849 10283 3290 1 0 7019032 0
[pid=13666/tid=13667] ppid=13664 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/13666/task/13667/stat : 13667 (java) R 13664 13664 6043 0 -1 4202560 6655 0 0 0 17 2 0 0 20 0 20 0 476600004 28904853504 10283 33554432000 4194304 4196468 140736812406304 139636640706352 139636636487062 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13668] ppid=13664 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/13666/task/13668/stat : 13668 (java) S 13664 13664 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600005 28904853504 10283 33554432000 4194304 4196468 140736812406304 139636589095824 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13669] ppid=13664 vsize=28227396 memory=140058280371277 CPUtime=0 cores=0-7
/proc/13666/task/13669/stat : 13669 (java) S 13664 13664 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476600005 28904853504 10283 33554432000 4194304 4196468 140736812406304 139636588043024 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13670] ppid=13664 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13666/task/13670/stat : 13670 (java) S 13664 13664 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600005 28904853504 10283 33554432000 4194304 4196468 140736812406304 139636586990736 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13671] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13671/stat : 13671 (java) S 13664 13664 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600005 28904853504 10283 33554432000 4194304 4196468 140736812406304 139636585937936 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13672] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13672/stat : 13672 (java) S 13664 13664 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600005 28904853504 10283 33554432000 4194304 4196468 140736812406304 139636584884624 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13673] ppid=13664 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13666/task/13673/stat : 13673 (java) S 13664 13664 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600005 28904853504 10283 33554432000 4194304 4196468 140736812406304 139636583831824 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13674] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13674/stat : 13674 (java) S 13664 13664 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600005 28904853504 10283 33554432000 4194304 4196468 140736812406304 139636582779536 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13675] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13675/stat : 13675 (java) S 13664 13664 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600005 28904853504 10283 33554432000 4194304 4196468 140736812406304 139636581726736 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13676] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13676/stat : 13676 (java) S 13664 13664 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476600007 28904853504 10283 33554432000 4194304 4196468 140736812406304 139635100576368 139636636486274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13677] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13677/stat : 13677 (java) S 13664 13664 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476600007 28904853504 10283 33554432000 4194304 4196468 140736812406304 139635099522336 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13678] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13678/stat : 13678 (java) S 13664 13664 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476600007 28904853504 10283 33554432000 4194304 4196468 140736812406304 139635098470000 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13679] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13679/stat : 13679 (java) S 13664 13664 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600010 28904853504 10283 33554432000 4194304 4196468 140736812406304 139635097418320 139636636493723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13680] ppid=13664 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/13666/task/13680/stat : 13680 (java) S 13664 13664 6043 0 -1 1077944384 687 0 0 0 2 0 0 0 20 0 20 0 476600010 28904853504 10283 33554432000 4194304 4196468 140736812406304 139635096365168 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13681] ppid=13664 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13666/task/13681/stat : 13681 (java) R 13664 13664 6043 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 476600010 28904853504 10283 33554432000 4194304 4196468 140736812406304 139635095312368 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13682] ppid=13664 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/13666/task/13682/stat : 13682 (java) S 13664 13664 6043 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 20 0 476600010 28904853504 10283 33554432000 4194304 4196468 140736812406304 139635094260080 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13683] ppid=13664 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/13666/task/13683/stat : 13683 (java) R 13664 13664 6043 0 -1 4202560 739 0 0 0 8 0 0 0 20 0 20 0 476600010 28904853504 10283 33554432000 4194304 4196468 140736812406304 139635093207088 139636616188253 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13684] ppid=13664 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13684/stat : 13684 (java) S 13664 13664 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476600010 28904853504 10283 33554432000 4194304 4196468 140736812406304 139635092155232 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13685] ppid=13664 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13666/task/13685/stat : 13685 (java) S 13664 13664 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600011 28904853504 10283 33554432000 4194304 4196468 140736812406304 139635023932208 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42588 KiB
[startup+0.311076 s]*
/proc/loadavg: 8.21 8.34 8.24 3/215 13685
/proc/meminfo: memFree=24444848/32770624 swapFree=67001928/67108860
[pid=13664] ppid=13661 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13664/stat : 13664 (xcsp3-exec) S 13661 13664 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476600004 115843072 364 33554432000 4194304 5098028 140721973978512 140721973976616 140261119750780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15212544 140721973982040 140721973982298 140721973982298 140721973985222 0
/proc/13664/statm: 28282 364 305 221 0 87 0
[pid=13666] ppid=13664 vsize=28231652 memory=49748 CPUtime=0.52 cores=0-7
/proc/13666/stat : 13666 (java) S 13664 13664 6043 0 -1 1077944320 10865 0 0 0 48 4 0 0 20 0 20 0 476600004 28909211648 12437 33554432000 4194304 4196468 140736812406304 140736812388848 139636636475127 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
/proc/13666/statm: 7057913 12437 3326 1 0 7019032 0
[pid=13666/tid=13667] ppid=13664 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13666/task/13667/stat : 13667 (java) R 13664 13664 6043 0 -1 4202560 7827 0 0 0 26 3 0 0 20 0 20 0 476600004 28909211648 12437 33554432000 4194304 4196468 140736812406304 139636640706240 139636620555614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13668] ppid=13664 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13668/stat : 13668 (java) S 13664 13664 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600005 28909211648 12437 33554432000 4194304 4196468 140736812406304 139636589095824 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13669] ppid=13664 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13669/stat : 13669 (java) S 13664 13664 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476600005 28909211648 12437 33554432000 4194304 4196468 140736812406304 139636588043024 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13670] ppid=13664 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13670/stat : 13670 (java) S 13664 13664 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600005 28909211648 12437 33554432000 4194304 4196468 140736812406304 139636586990736 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13671] ppid=13664 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13671/stat : 13671 (java) S 13664 13664 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600005 28909211648 12437 33554432000 4194304 4196468 140736812406304 139636585937936 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13672] ppid=13664 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/13666/task/13672/stat : 13672 (java) S 13664 13664 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600005 28909211648 12437 33554432000 4194304 4196468 140736812406304 139636584884624 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13673] ppid=13664 vsize=28231652 memory=140058145420207 CPUtime=0 cores=0-7
/proc/13666/task/13673/stat : 13673 (java) S 13664 13664 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600005 28909211648 12437 33554432000 4194304 4196468 140736812406304 139636583831824 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13674] ppid=13664 vsize=28231652 memory=140058145422512 CPUtime=0 cores=0-7
/proc/13666/task/13674/stat : 13674 (java) S 13664 13664 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600005 28909211648 12437 33554432000 4194304 4196468 140736812406304 139636582779536 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13675] ppid=13664 vsize=28231652 memory=140058145424816 CPUtime=0 cores=0-7
/proc/13666/task/13675/stat : 13675 (java) S 13664 13664 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600005 28909211648 12437 33554432000 4194304 4196468 140736812406304 139636581726736 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13676] ppid=13664 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13676/stat : 13676 (java) S 13664 13664 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476600007 28909211648 12437 33554432000 4194304 4196468 140736812406304 139635100576368 139636636486274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13677] ppid=13664 vsize=28231652 memory=280116290856592 CPUtime=0 cores=0-7
/proc/13666/task/13677/stat : 13677 (java) S 13664 13664 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476600007 28909211648 12437 33554432000 4194304 4196468 140736812406304 139635099522336 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13678] ppid=13664 vsize=28231652 memory=280116290863504 CPUtime=0 cores=0-7
/proc/13666/task/13678/stat : 13678 (java) S 13664 13664 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476600007 28909211648 12437 33554432000 4194304 4196468 140736812406304 139635098470000 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13679] ppid=13664 vsize=28231652 memory=280116290804784 CPUtime=0 cores=0-7
/proc/13666/task/13679/stat : 13679 (java) S 13664 13664 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600010 28909211648 12437 33554432000 4194304 4196468 140736812406304 139635097418320 139636636493723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13680] ppid=13664 vsize=28231652 memory=280116290877328 CPUtime=0.02 cores=0-7
/proc/13666/task/13680/stat : 13680 (java) S 13664 13664 6043 0 -1 1077944384 693 0 0 0 2 0 0 0 20 0 20 0 476600010 28909211648 12437 33554432000 4194304 4196468 140736812406304 139635096365168 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13681] ppid=13664 vsize=28231652 memory=280116290884240 CPUtime=0.02 cores=0-7
/proc/13666/task/13681/stat : 13681 (java) S 13664 13664 6043 0 -1 1077944384 66 0 0 0 2 0 0 0 20 0 20 0 476600010 28909211648 12437 33554432000 4194304 4196468 140736812406304 139635095312368 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13682] ppid=13664 vsize=28231652 memory=280116290881936 CPUtime=0.03 cores=0-7
/proc/13666/task/13682/stat : 13682 (java) R 13664 13664 6043 0 -1 4202560 177 0 0 0 3 0 0 0 20 0 20 0 476600010 28909211648 12437 33554432000 4194304 4196468 140736812406304 139635094250464 139636617998320 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13683] ppid=13664 vsize=28231652 memory=280116290898096 CPUtime=0.12 cores=0-7
/proc/13666/task/13683/stat : 13683 (java) S 13664 13664 6043 0 -1 1077944384 806 0 0 0 12 0 0 0 20 0 20 0 476600010 28909211648 12437 33554432000 4194304 4196468 140736812406304 139635093207280 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13684] ppid=13664 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13684/stat : 13684 (java) S 13664 13664 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476600010 28909211648 12437 33554432000 4194304 4196468 140736812406304 139635092155232 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13685] ppid=13664 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/13666/task/13685/stat : 13685 (java) S 13664 13664 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476600011 28909211648 12437 33554432000 4194304 4196468 140736812406304 139635023932208 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51204 KiB
[startup+0.701089 s]
/proc/loadavg: 8.21 8.34 8.24 5/215 13685
/proc/meminfo: memFree=24425812/32770624 swapFree=67001928/67108860
[pid=13664] ppid=13661 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13664/stat : 13664 (xcsp3-exec) S 13661 13664 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476600004 115843072 364 33554432000 4194304 5098028 140721973978512 140721973976616 140261119750780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15212544 140721973982040 140721973982298 140721973982298 140721973985222 0
/proc/13664/statm: 28282 364 305 221 0 87 0
[pid=13666] ppid=13664 vsize=28233776 memory=116564 CPUtime=1.82 cores=0-7
/proc/13666/stat : 13666 (java) S 13664 13664 6043 0 -1 1077944320 14660 0 0 0 174 8 0 0 20 0 20 0 476600004 28911386624 29141 33554432000 4194304 4196468 140736812406304 140736812388848 139636636475127 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
/proc/13666/statm: 7058444 29141 3462 1 0 7019544 0
[pid=13666/tid=13667] ppid=13664 vsize=28233776 memory=280116291255984 CPUtime=0.67 cores=0-7
/proc/13666/task/13667/stat : 13667 (java) R 13664 13664 6043 0 -1 4202560 9237 0 0 0 62 5 0 0 20 0 20 0 476600004 28911386624 29141 33554432000 4194304 4196468 140736812406304 139636640710064 139636636487062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13668] ppid=13664 vsize=28233776 memory=140058145629040 CPUtime=0 cores=0-7
/proc/13666/task/13668/stat : 13668 (java) S 13664 13664 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600005 28911386624 29141 33554432000 4194304 4196468 140736812406304 139636589095824 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13669] ppid=13664 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/13666/task/13669/stat : 13669 (java) S 13664 13664 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476600005 28911386624 29141 33554432000 4194304 4196468 140736812406304 139636588043024 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13670] ppid=13664 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/13666/task/13670/stat : 13670 (java) S 13664 13664 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476600005 28911386624 29141 33554432000 4194304 4196468 140736812406304 139636586990736 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
################
# More data... #
################
[pid=13666/tid=13693] ppid=13664 vsize=28768336 memory=6791534058613427641 CPUtime=218.19 cores=0-7
/proc/13666/task/13693/stat : 13693 (java) R 13664 13664 6043 0 -1 4202560 1264 0 0 0 21817 2 0 0 20 0 28 0 476600141 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635007348752 139636256007326 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
Current children cumulated CPU time: 1766.05 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5600640 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.001 s]
/proc/loadavg: 8.77 8.43 8.28 9/225 13719
/proc/meminfo: memFree=18887876/32770624 swapFree=67001932/67108860
[pid=13664] ppid=13661 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13664/stat : 13664 (xcsp3-exec) S 13661 13664 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476600004 115843072 364 33554432000 4194304 5098028 140721973978512 140721973976616 140261119750780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15212544 140721973982040 140721973982298 140721973982298 140721973985222 0
/proc/13664/statm: 28282 364 305 221 0 87 0
[pid=13666] ppid=13664 vsize=28768336 memory=5599184 CPUtime=2002.97 cores=0-7
/proc/13666/stat : 13666 (java) S 13664 13664 6043 0 -1 1077944320 116014 0 0 0 200063 234 0 0 20 0 28 0 476600004 29458776064 1399796 33554432000 4194304 4196468 140736812406304 140736812388848 139636636475127 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
/proc/13666/statm: 7192084 1399796 3522 1 0 7153184 0
[pid=13666/tid=13667] ppid=13664 vsize=28768336 memory=1456 CPUtime=1.17 cores=0-7
/proc/13666/task/13667/stat : 13667 (java) S 13664 13664 6043 0 -1 1077944384 9423 0 0 0 110 7 0 0 20 0 28 0 476600004 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139636640715904 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13668] ppid=13664 vsize=28768336 memory=5599184 CPUtime=0.48 cores=0-7
/proc/13666/task/13668/stat : 13668 (java) S 13664 13664 6043 0 -1 1077944384 1793 0 0 0 36 12 0 0 20 0 28 0 476600005 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139636589095824 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13669] ppid=13664 vsize=28768336 memory=5599184 CPUtime=0.49 cores=0-7
/proc/13666/task/13669/stat : 13669 (java) S 13664 13664 6043 0 -1 1077944384 1447 0 0 0 38 11 0 0 20 0 28 0 476600005 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139636588043024 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13670] ppid=13664 vsize=28768336 memory=1768 CPUtime=0.47 cores=0-7
/proc/13666/task/13670/stat : 13670 (java) S 13664 13664 6043 0 -1 1077944384 1115 0 0 0 36 11 0 0 20 0 28 0 476600005 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139636586990736 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13671] ppid=13664 vsize=28768336 memory=111628 CPUtime=0.47 cores=0-7
/proc/13666/task/13671/stat : 13671 (java) S 13664 13664 6043 0 -1 1077944384 959 0 0 0 37 10 0 0 20 0 28 0 476600005 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139636585937936 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13672] ppid=13664 vsize=28768336 memory=1056 CPUtime=0.48 cores=0-7
/proc/13666/task/13672/stat : 13672 (java) S 13664 13664 6043 0 -1 1077944384 1066 0 0 0 38 10 0 0 20 0 28 0 476600005 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139636584884624 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13673] ppid=13664 vsize=28768336 memory=1540 CPUtime=0.48 cores=0-7
/proc/13666/task/13673/stat : 13673 (java) S 13664 13664 6043 0 -1 1077944384 1493 0 0 0 38 10 0 0 20 0 28 0 476600005 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139636583831824 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13674] ppid=13664 vsize=28768336 memory=3276 CPUtime=0.45 cores=0-7
/proc/13666/task/13674/stat : 13674 (java) S 13664 13664 6043 0 -1 1077944384 1847 0 0 0 35 10 0 0 20 0 28 0 476600005 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139636582779536 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13675] ppid=13664 vsize=28768336 memory=54872 CPUtime=0.45 cores=0-7
/proc/13666/task/13675/stat : 13675 (java) S 13664 13664 6043 0 -1 1077944384 1517 0 0 0 35 10 0 0 20 0 28 0 476600005 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139636581726736 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13676] ppid=13664 vsize=28768336 memory=988 CPUtime=0.04 cores=0-7
/proc/13666/task/13676/stat : 13676 (java) S 13664 13664 6043 0 -1 1077944384 5399 0 0 0 3 1 0 0 20 0 28 0 476600007 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635100576368 139636636486274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13677] ppid=13664 vsize=28768336 memory=3276 CPUtime=0 cores=0-7
/proc/13666/task/13677/stat : 13677 (java) S 13664 13664 6043 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 476600007 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635099522400 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13678] ppid=13664 vsize=28768336 memory=54872 CPUtime=0 cores=0-7
/proc/13666/task/13678/stat : 13678 (java) S 13664 13664 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 476600007 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635098470016 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13679] ppid=13664 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/13666/task/13679/stat : 13679 (java) S 13664 13664 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476600010 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635097418320 139636636493723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13680] ppid=13664 vsize=28768336 memory=5599184 CPUtime=1.62 cores=0-7
/proc/13666/task/13680/stat : 13680 (java) S 13664 13664 6043 0 -1 1077944384 11807 0 0 0 159 3 0 0 20 0 28 0 476600010 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635096365168 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13681] ppid=13664 vsize=28768336 memory=54872 CPUtime=1.61 cores=0-7
/proc/13666/task/13681/stat : 13681 (java) S 13664 13664 6043 0 -1 1077944384 9644 0 0 0 159 2 0 0 20 0 28 0 476600010 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635095312368 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13682] ppid=13664 vsize=28768336 memory=988 CPUtime=1.68 cores=0-7
/proc/13666/task/13682/stat : 13682 (java) S 13664 13664 6043 0 -1 1077944384 13215 0 0 0 166 2 0 0 20 0 28 0 476600010 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635094260080 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13683] ppid=13664 vsize=28768336 memory=6791534058613427641 CPUtime=0.81 cores=0-7
/proc/13666/task/13683/stat : 13683 (java) S 13664 13664 6043 0 -1 1077944384 7680 0 0 0 79 2 0 0 20 0 28 0 476600010 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635093207280 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13684] ppid=13664 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/13666/task/13684/stat : 13684 (java) S 13664 13664 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476600010 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635092155232 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13685] ppid=13664 vsize=28768336 memory=1456 CPUtime=0.1 cores=0-7
/proc/13666/task/13685/stat : 13685 (java) S 13664 13664 6043 0 -1 1077944384 1028 0 0 0 0 10 0 0 20 0 28 0 476600011 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635023932208 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13686] ppid=13664 vsize=28768336 memory=5594252 CPUtime=249.44 cores=0-7
/proc/13666/task/13686/stat : 13686 (java) R 13664 13664 6043 0 -1 4202560 1356 0 0 0 24942 2 0 0 20 0 28 0 476600141 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635014717192 139636256931421 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13687] ppid=13664 vsize=28768336 memory=6791534058613427641 CPUtime=249.44 cores=0-7
/proc/13666/task/13687/stat : 13687 (java) R 13664 13664 6043 0 -1 4202560 1731 0 0 0 24942 2 0 0 20 0 28 0 476600141 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635013665608 139636256007377 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13688] ppid=13664 vsize=28768336 memory=-7175204567652784766 CPUtime=249.28 cores=0-7
/proc/13666/task/13688/stat : 13688 (java) R 13664 13664 6043 0 -1 4202560 1235 0 0 0 24926 2 0 0 20 0 28 0 476600141 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635012612280 139636256691710 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13689] ppid=13664 vsize=28768336 memory=3054156605268465310 CPUtime=249.75 cores=0-7
/proc/13666/task/13689/stat : 13689 (java) R 13664 13664 6043 0 -1 4202560 2494 0 0 0 24972 3 0 0 20 0 28 0 476600141 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635011555160 139636255305932 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13690] ppid=13664 vsize=28768336 memory=3054156605268465310 CPUtime=249.47 cores=0-7
/proc/13666/task/13690/stat : 13690 (java) R 13664 13664 6043 0 -1 4202560 1514 0 0 0 24943 4 0 0 20 0 28 0 476600141 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635010502672 139636256008229 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13691] ppid=13664 vsize=28768336 memory=-6520471753822164382 CPUtime=249.4 cores=0-7
/proc/13666/task/13691/stat : 13691 (java) R 13664 13664 6043 0 -1 4202560 33609 0 0 0 24833 107 0 0 20 0 28 0 476600141 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635009454408 139636256384294 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13692] ppid=13664 vsize=28768336 memory=5599184 CPUtime=247.92 cores=0-7
/proc/13666/task/13692/stat : 13692 (java) R 13664 13664 6043 0 -1 4202560 1985 0 0 0 24790 2 0 0 20 0 28 0 476600141 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635008397576 139636255305927 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13693] ppid=13664 vsize=28768336 memory=1456 CPUtime=247.25 cores=0-7
/proc/13666/task/13693/stat : 13693 (java) R 13664 13664 6043 0 -1 4202560 1357 0 0 0 24723 2 0 0 20 0 28 0 476600141 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635007348752 139636256008738 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
Current children cumulated CPU time: 2002.97 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5600640 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.035 s]
# the end of solver process 13664 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002408 s, system=0 s
[startup+252.118 s]
# the end of solver process 13666 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2001.33 s, system=2.37633 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+252.001 s]
/proc/loadavg: 8.77 8.43 8.28 9/225 13719
/proc/meminfo: memFree=18887876/32770624 swapFree=67001932/67108860
[pid=13664] ppid=13661 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/13664/stat : 13664 (xcsp3-exec) S 13661 13664 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476600004 115843072 364 33554432000 4194304 5098028 140721973978512 140721973976616 140261119750780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15212544 140721973982040 140721973982298 140721973982298 140721973985222 0
/proc/13664/statm: 28282 364 305 221 0 87 0
[pid=13666] ppid=13664 vsize=28768336 memory=5599184 CPUtime=2002.97 cores=0-7
/proc/13666/stat : 13666 (java) S 13664 13664 6043 0 -1 1077944320 116014 0 0 0 200063 234 0 0 20 0 28 0 476600004 29458776064 1399796 33554432000 4194304 4196468 140736812406304 140736812388848 139636636475127 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
/proc/13666/statm: 7192084 1399796 3522 1 0 7153184 0
[pid=13666/tid=13667] ppid=13664 vsize=28768336 memory=1456 CPUtime=1.17 cores=0-7
/proc/13666/task/13667/stat : 13667 (java) S 13664 13664 6043 0 -1 1077944384 9423 0 0 0 110 7 0 0 20 0 28 0 476600004 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139636640715904 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13668] ppid=13664 vsize=28768336 memory=5599184 CPUtime=0.48 cores=0-7
/proc/13666/task/13668/stat : 13668 (java) S 13664 13664 6043 0 -1 1077944384 1793 0 0 0 36 12 0 0 20 0 28 0 476600005 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139636589095824 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13669] ppid=13664 vsize=28768336 memory=5599184 CPUtime=0.49 cores=0-7
/proc/13666/task/13669/stat : 13669 (java) S 13664 13664 6043 0 -1 1077944384 1447 0 0 0 38 11 0 0 20 0 28 0 476600005 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139636588043024 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13670] ppid=13664 vsize=28768336 memory=1768 CPUtime=0.47 cores=0-7
/proc/13666/task/13670/stat : 13670 (java) S 13664 13664 6043 0 -1 1077944384 1115 0 0 0 36 11 0 0 20 0 28 0 476600005 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139636586990736 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13671] ppid=13664 vsize=28768336 memory=111628 CPUtime=0.47 cores=0-7
/proc/13666/task/13671/stat : 13671 (java) S 13664 13664 6043 0 -1 1077944384 959 0 0 0 37 10 0 0 20 0 28 0 476600005 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139636585937936 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13672] ppid=13664 vsize=28768336 memory=1056 CPUtime=0.48 cores=0-7
/proc/13666/task/13672/stat : 13672 (java) S 13664 13664 6043 0 -1 1077944384 1066 0 0 0 38 10 0 0 20 0 28 0 476600005 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139636584884624 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13673] ppid=13664 vsize=28768336 memory=1540 CPUtime=0.48 cores=0-7
/proc/13666/task/13673/stat : 13673 (java) S 13664 13664 6043 0 -1 1077944384 1493 0 0 0 38 10 0 0 20 0 28 0 476600005 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139636583831824 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13674] ppid=13664 vsize=28768336 memory=3276 CPUtime=0.45 cores=0-7
/proc/13666/task/13674/stat : 13674 (java) S 13664 13664 6043 0 -1 1077944384 1847 0 0 0 35 10 0 0 20 0 28 0 476600005 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139636582779536 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13675] ppid=13664 vsize=28768336 memory=54872 CPUtime=0.45 cores=0-7
/proc/13666/task/13675/stat : 13675 (java) S 13664 13664 6043 0 -1 1077944384 1517 0 0 0 35 10 0 0 20 0 28 0 476600005 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139636581726736 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13676] ppid=13664 vsize=28768336 memory=988 CPUtime=0.04 cores=0-7
/proc/13666/task/13676/stat : 13676 (java) S 13664 13664 6043 0 -1 1077944384 5399 0 0 0 3 1 0 0 20 0 28 0 476600007 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635100576368 139636636486274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13677] ppid=13664 vsize=28768336 memory=3276 CPUtime=0 cores=0-7
/proc/13666/task/13677/stat : 13677 (java) S 13664 13664 6043 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 476600007 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635099522400 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13678] ppid=13664 vsize=28768336 memory=54872 CPUtime=0 cores=0-7
/proc/13666/task/13678/stat : 13678 (java) S 13664 13664 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 476600007 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635098470016 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13679] ppid=13664 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/13666/task/13679/stat : 13679 (java) S 13664 13664 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476600010 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635097418320 139636636493723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13680] ppid=13664 vsize=28768336 memory=5599184 CPUtime=1.62 cores=0-7
/proc/13666/task/13680/stat : 13680 (java) S 13664 13664 6043 0 -1 1077944384 11807 0 0 0 159 3 0 0 20 0 28 0 476600010 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635096365168 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13681] ppid=13664 vsize=28768336 memory=54872 CPUtime=1.61 cores=0-7
/proc/13666/task/13681/stat : 13681 (java) S 13664 13664 6043 0 -1 1077944384 9644 0 0 0 159 2 0 0 20 0 28 0 476600010 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635095312368 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13682] ppid=13664 vsize=28768336 memory=988 CPUtime=1.68 cores=0-7
/proc/13666/task/13682/stat : 13682 (java) S 13664 13664 6043 0 -1 1077944384 13215 0 0 0 166 2 0 0 20 0 28 0 476600010 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635094260080 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13683] ppid=13664 vsize=28768336 memory=6791534058613427641 CPUtime=0.81 cores=0-7
/proc/13666/task/13683/stat : 13683 (java) S 13664 13664 6043 0 -1 1077944384 7680 0 0 0 79 2 0 0 20 0 28 0 476600010 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635093207280 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13684] ppid=13664 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/13666/task/13684/stat : 13684 (java) S 13664 13664 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476600010 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635092155232 139636636485333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13685] ppid=13664 vsize=28768336 memory=1456 CPUtime=0.1 cores=0-7
/proc/13666/task/13685/stat : 13685 (java) S 13664 13664 6043 0 -1 1077944384 1028 0 0 0 0 10 0 0 20 0 28 0 476600011 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635023932208 139636636486274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13686] ppid=13664 vsize=28768336 memory=5594252 CPUtime=249.44 cores=0-7
/proc/13666/task/13686/stat : 13686 (java) R 13664 13664 6043 0 -1 4202560 1356 0 0 0 24942 2 0 0 20 0 28 0 476600141 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635014717192 139636256931421 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13687] ppid=13664 vsize=28768336 memory=6791534058613427641 CPUtime=249.44 cores=0-7
/proc/13666/task/13687/stat : 13687 (java) R 13664 13664 6043 0 -1 4202560 1731 0 0 0 24942 2 0 0 20 0 28 0 476600141 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635013665608 139636256007377 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13688] ppid=13664 vsize=28768336 memory=-7175204567652784766 CPUtime=249.28 cores=0-7
/proc/13666/task/13688/stat : 13688 (java) R 13664 13664 6043 0 -1 4202560 1235 0 0 0 24926 2 0 0 20 0 28 0 476600141 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635012612280 139636256691710 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13689] ppid=13664 vsize=28768336 memory=3054156605268465310 CPUtime=249.75 cores=0-7
/proc/13666/task/13689/stat : 13689 (java) R 13664 13664 6043 0 -1 4202560 2494 0 0 0 24972 3 0 0 20 0 28 0 476600141 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635011555160 139636255305932 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13690] ppid=13664 vsize=28768336 memory=3054156605268465310 CPUtime=249.47 cores=0-7
/proc/13666/task/13690/stat : 13690 (java) R 13664 13664 6043 0 -1 4202560 1514 0 0 0 24943 4 0 0 20 0 28 0 476600141 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635010502672 139636256008229 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13691] ppid=13664 vsize=28768336 memory=-6520471753822164382 CPUtime=249.4 cores=0-7
/proc/13666/task/13691/stat : 13691 (java) R 13664 13664 6043 0 -1 4202560 33609 0 0 0 24833 107 0 0 20 0 28 0 476600141 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635009454408 139636256384294 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13692] ppid=13664 vsize=28768336 memory=5599184 CPUtime=247.92 cores=0-7
/proc/13666/task/13692/stat : 13692 (java) R 13664 13664 6043 0 -1 4202560 1985 0 0 0 24790 2 0 0 20 0 28 0 476600141 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635008397576 139636255305927 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
[pid=13666/tid=13693] ppid=13664 vsize=28768336 memory=1456 CPUtime=247.25 cores=0-7
/proc/13666/task/13693/stat : 13693 (java) R 13664 13664 6043 0 -1 4202560 1357 0 0 0 24723 2 0 0 20 0 28 0 476600141 29458776064 1399796 33554432000 4194304 4196468 140736812406304 139635007348752 139636256008738 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 35704832 140736812409820 140736812409995 140736812409995 140736812412879 0
Current children cumulated CPU time: 2002.97 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 5600640 KiB
Child status: 143
Real time (s): 252.118
CPU time (s): 2003.7
CPU user time (s): 2001.33
CPU system time (s): 2.37633
CPU usage (%): 794.747
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 5600640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2001.33
system time used= 2.37633
maximum resident set size= 5601424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118115
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10969
involuntary context switches= 25009
# summary of solver processes directly reported to runsolver:
# pid: 13664,13666
# total CPU time (s): 2003.7
# total CPU user time (s): 2001.33
# total CPU system time (s): 2.37633
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.1605 second user time and 3.30618 second system time
The end
Begin job on node133 at 2019-09-20 20:19:24
IDJOB=4405098
IDBENCH=122967
IDSOLVER=2866
FILE ID=node133/4405098-1569003604
RUNJOBID= node133-1568994386-6070
PBS_JOBID= 21704723
Free space on /var/tmp= 13488 MiB
SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-09-350-100.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405098-1569003604/watcher-4405098-1569003604 -o /var/tmp/evaluation-result-4405098-1569003604/solver-4405098-1569003604 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1568994386-6070 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 462386379 HOME/instance-4405098-1569003604.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 9444e44f99a0ffd374c39bd698e45a3a
RANDOM SEED=462386379
node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.18
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.18
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.18
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.18
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 24481676 kB
MemAvailable: 31848444 kB
Buffers: 89836 kB
Cached: 7336568 kB
SwapCached: 5356 kB
Active: 3658600 kB
Inactive: 3773884 kB
Active(anon): 3252 kB
Inactive(anon): 49308 kB
Active(file): 3655348 kB
Inactive(file): 3724576 kB
Unevictable: 111416 kB
Mlocked: 111416 kB
SwapTotal: 67108860 kB
SwapFree: 67001928 kB
Dirty: 26408 kB
Writeback: 0 kB
AnonPages: 106060 kB
Mapped: 51852 kB
Shmem: 37764 kB
Slab: 443828 kB
SReclaimable: 415304 kB
SUnreclaim: 28524 kB
KernelStack: 3776 kB
PageTables: 5656 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 61440 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 122240 kB
DirectMap2M: 33423360 kB
Free space on /var/tmp at the end= 13464 MiB
End job on node133 at 2019-09-20 20:23:37