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 (10820 MiB free)
memory of node 1: 16384 MiB (4779 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306917-1534127727/watcher-4306917-1534127727 -o /tmp/evaluation-result-4306917-1534127727/solver-4306917-1534127727 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534097780-4444 --watchdog 2580 HOME/xcsp3-exec -seed 126947832 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306917-1534127727.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=8463, runsolver pid=8460
[startup+0.100162 s]*
/proc/loadavg: 1.42 1.40 1.46 3/217 8479
/proc/meminfo: memFree=15957940/32770624 swapFree=67108796/67108860
[pid=8463] ppid=8460 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8463/stat : 8463 (xcsp3-exec) S 8460 8463 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 230335865 115843072 363 33554432000 4194304 5098028 140733210030000 140733210028104 139775725306492 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25858048 140733210031163 140733210031364 140733210031364 140733210034122 0
/proc/8463/statm: 28282 363 306 221 0 87 0
[pid=8465] ppid=8463 vsize=14082940 memory=28316 CPUtime=0.12 cores=0,2,4,6
/proc/8465/stat : 8465 (java) S 8463 8463 4413 0 -1 1077944320 5505 0 0 0 11 1 0 0 20 0 15 0 230335865 14420930560 7079 33554432000 4194304 4196468 140724531775152 140724531757696 139985378017015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
/proc/8465/statm: 3520735 7079 2999 1 0 3483012 0
[pid=8465/tid=8466] ppid=8463 vsize=14082940 memory=-8976644418600983157 CPUtime=0.08 cores=0,2,4,6
/proc/8465/task/8466/stat : 8466 (java) R 8463 8463 4413 0 -1 4202560 3518 0 0 0 8 0 0 0 20 0 15 0 230335866 14420930560 7079 33554432000 4194304 4196468 140724531775152 139985382250288 139985378028950 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8467] ppid=8463 vsize=14082940 memory=3472468195995161808 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8467/stat : 8467 (java) S 8463 8463 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230335866 14420930560 7079 33554432000 4194304 4196468 140724531775152 139985334570000 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8468] ppid=8463 vsize=14082940 memory=140067100010112 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8468/stat : 8468 (java) S 8463 8463 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230335866 14420930560 7079 33554432000 4194304 4196468 140724531775152 139985333517456 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8469] ppid=8463 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8469/stat : 8469 (java) S 8463 8463 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230335866 14420930560 7079 33554432000 4194304 4196468 140724531775152 139984971950864 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8470] ppid=8463 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8470/stat : 8470 (java) S 8463 8463 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230335866 14420930560 7079 33554432000 4194304 4196468 140724531775152 139984970898320 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8471] ppid=8463 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8471/stat : 8471 (java) S 8463 8463 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230335868 14420930560 7079 33554432000 4194304 4196468 140724531775152 139984290138352 139985378028162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8472] ppid=8463 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8472/stat : 8472 (java) S 8463 8463 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 230335868 14420930560 7079 33554432000 4194304 4196468 140724531775152 139984289084576 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8473] ppid=8463 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8473/stat : 8473 (java) S 8463 8463 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230335868 14420930560 7144 33554432000 4194304 4196468 140724531775152 139984288031472 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8474] ppid=8463 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8474/stat : 8474 (java) S 8463 8463 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230335871 14420930560 7144 33554432000 4194304 4196468 140724531775152 139984286980048 139985378035611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8475] ppid=8463 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8475/stat : 8475 (java) S 8463 8463 4413 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 230335871 14420930560 7144 33554432000 4194304 4196468 140724531775152 139984285928176 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8476] ppid=8463 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8476/stat : 8476 (java) S 8463 8463 4413 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 230335871 14420930560 7144 33554432000 4194304 4196468 140724531775152 139984284875632 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8477] ppid=8463 vsize=14082940 memory=140067100010112 CPUtime=0.01 cores=0,2,4,6
/proc/8465/task/8477/stat : 8477 (java) R 8463 8463 4413 0 -1 4202560 269 0 0 0 1 0 0 0 20 0 15 0 230335871 14420930560 7144 33554432000 4194304 4196468 140724531775152 139984283822576 139985359254576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8478] ppid=8463 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8478/stat : 8478 (java) S 8463 8463 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230335871 14420930560 7144 33554432000 4194304 4196468 140724531775152 139984282770272 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8479] ppid=8463 vsize=14082940 memory=140067100010112 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8479/stat : 8479 (java) S 8463 8463 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230335871 14420930560 7144 33554432000 4194304 4196468 140724531775152 139984281717296 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29768 KiB
[startup+0.210678 s]*
/proc/loadavg: 1.42 1.40 1.46 4/217 8479
/proc/meminfo: memFree=15946456/32770624 swapFree=67108796/67108860
[pid=8463] ppid=8460 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8463/stat : 8463 (xcsp3-exec) S 8460 8463 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 230335865 115843072 363 33554432000 4194304 5098028 140733210030000 140733210028104 139775725306492 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25858048 140733210031163 140733210031364 140733210031364 140733210034122 0
/proc/8463/statm: 28282 363 306 221 0 87 0
[pid=8465] ppid=8463 vsize=14082940 memory=41128 CPUtime=0.34 cores=0,2,4,6
/proc/8465/stat : 8465 (java) S 8463 8463 4413 0 -1 1077944320 8305 0 0 0 32 2 0 0 20 0 15 0 230335865 14420930560 10282 33554432000 4194304 4196468 140724531775152 140724531757696 139985378017015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
/proc/8465/statm: 3520735 10282 3205 1 0 3483012 0
[pid=8465/tid=8466] ppid=8463 vsize=14082940 memory=4500115623978573208 CPUtime=0.19 cores=0,2,4,6
/proc/8465/task/8466/stat : 8466 (java) R 8463 8463 4413 0 -1 4202560 5425 0 0 0 18 1 0 0 20 0 15 0 230335866 14420930560 10282 33554432000 4194304 4196468 140724531775152 139985382246736 139985362097502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8467] ppid=8463 vsize=14082940 memory=3472468195995161808 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8467/stat : 8467 (java) S 8463 8463 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230335866 14420930560 10282 33554432000 4194304 4196468 140724531775152 139985334570000 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8468] ppid=8463 vsize=14082940 memory=140067100010112 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8468/stat : 8468 (java) S 8463 8463 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230335866 14420930560 10282 33554432000 4194304 4196468 140724531775152 139985333517456 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8469] ppid=8463 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8469/stat : 8469 (java) S 8463 8463 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230335866 14420930560 10282 33554432000 4194304 4196468 140724531775152 139984971950864 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8470] ppid=8463 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8470/stat : 8470 (java) S 8463 8463 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230335866 14420930560 10347 33554432000 4194304 4196468 140724531775152 139984970898320 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8471] ppid=8463 vsize=14082940 memory=140067100010112 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8471/stat : 8471 (java) S 8463 8463 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230335868 14420930560 10347 33554432000 4194304 4196468 140724531775152 139984290138352 139985378028162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8472] ppid=8463 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8472/stat : 8472 (java) S 8463 8463 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 230335868 14420930560 10347 33554432000 4194304 4196468 140724531775152 139984289084576 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8473] ppid=8463 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8473/stat : 8473 (java) S 8463 8463 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230335868 14420930560 10347 33554432000 4194304 4196468 140724531775152 139984288031472 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8474] ppid=8463 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8474/stat : 8474 (java) S 8463 8463 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230335871 14420930560 10347 33554432000 4194304 4196468 140724531775152 139984286980048 139985378035611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8475] ppid=8463 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8465/task/8475/stat : 8475 (java) S 8463 8463 4413 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 15 0 230335871 14420930560 10347 33554432000 4194304 4196468 140724531775152 139984285928176 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8476] ppid=8463 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8465/task/8476/stat : 8476 (java) S 8463 8463 4413 0 -1 1077944384 358 0 0 0 2 0 0 0 20 0 15 0 230335871 14420930560 10347 33554432000 4194304 4196468 140724531775152 139984284875632 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8477] ppid=8463 vsize=14082940 memory=140067100010112 CPUtime=0.08 cores=0,2,4,6
/proc/8465/task/8477/stat : 8477 (java) S 8463 8463 4413 0 -1 1077944384 762 0 0 0 8 0 0 0 20 0 15 0 230335871 14420930560 10347 33554432000 4194304 4196468 140724531775152 139984283822576 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8478] ppid=8463 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8478/stat : 8478 (java) S 8463 8463 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230335871 14420930560 10347 33554432000 4194304 4196468 140724531775152 139984282770272 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8479] ppid=8463 vsize=14082940 memory=140067100010112 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8479/stat : 8479 (java) S 8463 8463 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230335871 14420930560 10347 33554432000 4194304 4196468 140724531775152 139984281717296 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42580 KiB
[startup+0.310399 s]*
/proc/loadavg: 1.42 1.40 1.46 5/217 8479
/proc/meminfo: memFree=15939880/32770624 swapFree=67108796/67108860
[pid=8463] ppid=8460 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8463/stat : 8463 (xcsp3-exec) S 8460 8463 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 230335865 115843072 363 33554432000 4194304 5098028 140733210030000 140733210028104 139775725306492 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25858048 140733210031163 140733210031364 140733210031364 140733210034122 0
/proc/8463/statm: 28282 363 306 221 0 87 0
[pid=8465] ppid=8463 vsize=14087196 memory=47928 CPUtime=0.53 cores=0,2,4,6
/proc/8465/stat : 8465 (java) S 8463 8463 4413 0 -1 1077944320 9204 0 0 0 50 3 0 0 20 0 15 0 230335865 14425288704 11982 33554432000 4194304 4196468 140724531775152 140724531757696 139985378017015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
/proc/8465/statm: 3521799 11982 3243 1 0 3483012 0
[pid=8465/tid=8466] ppid=8463 vsize=14087196 memory=-8976644418600983157 CPUtime=0.29 cores=0,2,4,6
/proc/8465/task/8466/stat : 8466 (java) R 8463 8463 4413 0 -1 4202560 6143 0 0 0 27 2 0 0 20 0 15 0 230335866 14425288704 11982 33554432000 4194304 4196468 140724531775152 139985382254304 139985362097502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8467] ppid=8463 vsize=14087196 memory=3472468195995161808 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8467/stat : 8467 (java) S 8463 8463 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230335866 14425288704 11982 33554432000 4194304 4196468 140724531775152 139985334570000 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8468] ppid=8463 vsize=14087196 memory=140067100010112 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8468/stat : 8468 (java) S 8463 8463 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230335866 14425288704 11982 33554432000 4194304 4196468 140724531775152 139985333517456 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8469] ppid=8463 vsize=14087196 memory=20 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8469/stat : 8469 (java) S 8463 8463 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230335866 14425288704 11982 33554432000 4194304 4196468 140724531775152 139984971950864 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8470] ppid=8463 vsize=14087196 memory=140067003836447 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8470/stat : 8470 (java) S 8463 8463 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230335866 14425288704 11982 33554432000 4194304 4196468 140724531775152 139984970898320 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8471] ppid=8463 vsize=14087196 memory=280134007633664 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8471/stat : 8471 (java) S 8463 8463 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230335868 14425288704 11982 33554432000 4194304 4196468 140724531775152 139984290138352 139985378028162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8472] ppid=8463 vsize=14087196 memory=140067003813391 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8472/stat : 8472 (java) S 8463 8463 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 230335868 14425288704 11982 33554432000 4194304 4196468 140724531775152 139984289084576 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8473] ppid=8463 vsize=14087196 memory=280134103832672 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8473/stat : 8473 (java) S 8463 8463 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230335868 14425288704 11982 33554432000 4194304 4196468 140724531775152 139984288031472 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8474] ppid=8463 vsize=14087196 memory=140067003817999 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8474/stat : 8474 (java) S 8463 8463 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230335871 14425288704 11982 33554432000 4194304 4196468 140724531775152 139984286980048 139985378035611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8475] ppid=8463 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/8465/task/8475/stat : 8475 (java) S 8463 8463 4413 0 -1 1077944384 552 0 0 0 5 0 0 0 20 0 15 0 230335871 14425288704 11982 33554432000 4194304 4196468 140724531775152 139984285928176 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8476] ppid=8463 vsize=14087196 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/8465/task/8476/stat : 8476 (java) S 8463 8463 4413 0 -1 1077944384 379 0 0 0 4 0 0 0 20 0 15 0 230335871 14425288704 12047 33554432000 4194304 4196468 140724531775152 139984284875632 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8477] ppid=8463 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8465/task/8477/stat : 8477 (java) S 8463 8463 4413 0 -1 1077944384 844 0 0 0 12 0 0 0 20 0 15 0 230335871 14425288704 12047 33554432000 4194304 4196468 140724531775152 139984283822576 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8478] ppid=8463 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8478/stat : 8478 (java) S 8463 8463 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230335871 14425288704 12047 33554432000 4194304 4196468 140724531775152 139984282770272 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8479] ppid=8463 vsize=14087196 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8479/stat : 8479 (java) S 8463 8463 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230335871 14425288704 12047 33554432000 4194304 4196468 140724531775152 139984281717296 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49380 KiB
[startup+0.705456 s]
/proc/loadavg: 1.42 1.40 1.46 6/217 8479
/proc/meminfo: memFree=15909216/32770624 swapFree=67108796/67108860
[pid=8463] ppid=8460 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8463/stat : 8463 (xcsp3-exec) S 8460 8463 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 230335865 115843072 363 33554432000 4194304 5098028 140733210030000 140733210028104 139775725306492 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25858048 140733210031163 140733210031364 140733210031364 140733210034122 0
/proc/8463/statm: 28282 363 306 221 0 87 0
[pid=8465] ppid=8463 vsize=14089320 memory=164100 CPUtime=1.78 cores=0,2,4,6
/proc/8465/stat : 8465 (java) S 8463 8463 4413 0 -1 1077944320 12085 0 0 0 172 6 0 0 20 0 15 0 230335865 14427463680 41025 33554432000 4194304 4196468 140724531775152 140724531757696 139985378017015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
/proc/8465/statm: 3522330 41025 3355 1 0 3483524 0
[pid=8465/tid=8466] ppid=8463 vsize=14089320 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/8465/task/8466/stat : 8466 (java) R 8463 8463 4413 0 -1 4202560 6634 0 0 0 63 4 0 0 20 0 15 0 230335866 14427463680 41025 33554432000 4194304 4196468 140724531775152 139985382254232 139985357742125 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8467] ppid=8463 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8467/stat : 8467 (java) S 8463 8463 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230335866 14427463680 41025 33554432000 4194304 4196468 140724531775152 139985334570000 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8468] ppid=8463 vsize=14089320 memory=7813587196152133429 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8468/stat : 8468 (java) S 8463 8463 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230335866 14427463680 41025 33554432000 4194304 4196468 140724531775152 139985333517456 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8469] ppid=8463 vsize=14089320 memory=7662681618696984162 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8469/stat : 8469 (java) S 8463 8463 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230335866 14427463680 41025 33554432000 4194304 4196468 140724531775152 139984971950864 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8470] ppid=8463 vsize=14089320 memory=7666631141572832339 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8470/stat : 8470 (java) S 8463 8463 4413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 230335866 14427463680 41025 33554432000 4194304 4196468 140724531775152 139984970898320 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8471] ppid=8463 vsize=14089320 memory=734122130331934768 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8471/stat : 8471 (java) S 8463 8463 4413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 230335868 14427463680 41025 33554432000 4194304 4196468 140724531775152 139984290138352 139985378028162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8472] ppid=8463 vsize=14089320 memory=1592 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8472/stat : 8472 (java) S 8463 8463 4413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 230335868 14427463680 41025 33554432000 4194304 4196468 140724531775152 139984289084576 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8473] ppid=8463 vsize=14089320 memory=3804 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8473/stat : 8473 (java) S 8463 8463 4413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 230335868 14427463680 41025 33554432000 4194304 4196468 140724531775152 139984288031472 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8474] ppid=8463 vsize=14089320 memory=3164 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8474/stat : 8474 (java) S 8463 8463 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230335871 14427463680 41025 33554432000 4194304 4196468 140724531775152 139984286980048 139985378035611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8475] ppid=8463 vsize=14089320 memory=1244 CPUtime=0.35 cores=0,2,4,6
/proc/8465/task/8475/stat : 8475 (java) R 8463 8463 4413 0 -1 4202560 1078 0 0 0 35 0 0 0 20 0 15 0 230335871 14427463680 41025 33554432000 4194304 4196468 140724531775152 139984285928176 139985357853384 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8476] ppid=8463 vsize=14089320 memory=1060 CPUtime=0.39 cores=0,2,4,6
/proc/8465/task/8476/stat : 8476 (java) R 8463 8463 4413 0 -1 4202560 1400 0 0 0 39 0 0 0 20 0 15 0 230335871 14427463680 41025 33554432000 4194304 4196468 140724531775152 139984284855424 139985359542304 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8477] ppid=8463 vsize=14089320 memory=1776 CPUtime=0.33 cores=0,2,4,6
/proc/8465/task/8477/stat : 8477 (java) S 8463 8463 4413 0 -1 1077944384 1664 0 0 0 33 0 0 0 20 0 15 0 230335871 14427463680 41025 33554432000 4194304 4196468 140724531775152 139984283822576 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8478] ppid=8463 vsize=14089320 memory=5656 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8478/stat : 8478 (java) S 8463 8463 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230335871 14427463680 41025 33554432000 4194304 4196468 140724531775152 139984282770272 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8479] ppid=8463 vsize=14089320 memory=14772 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8479/stat : 8479 (java) S 8463 8463 4413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 230335871 14427463680 41025 33554432000 4194304 4196468 140724531775152 139984281717296 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 165552 KiB
[startup+1.50086 s]
/proc/loadavg: 1.42 1.40 1.46 6/217 8479
/proc/meminfo: memFree=15794172/32770624 swapFree=67108796/67108860
[pid=8463] ppid=8460 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8463/stat : 8463 (xcsp3-exec) S 8460 8463 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 230335865 115843072 363 33554432000 4194304 5098028 140733210030000 140733210028104 139775725306492 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25858048 140733210031163 140733210031364 140733210031364 140733210034122 0
/proc/8463/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/8465/task/8473/stat : 8473 (java) S 8463 8463 4413 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 230335868 14427463680 406685 33554432000 4194304 4196468 140724531775152 139984288031488 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8474] ppid=8463 vsize=14089320 memory=1431412 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8474/stat : 8474 (java) S 8463 8463 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230335871 14427463680 406685 33554432000 4194304 4196468 140724531775152 139984286980048 139985378035611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8475] ppid=8463 vsize=14089320 memory=1452 CPUtime=1.33 cores=0,2,4,6
/proc/8465/task/8475/stat : 8475 (java) S 8463 8463 4413 0 -1 1077944384 6773 0 0 0 132 1 0 0 20 0 15 0 230335871 14427463680 406685 33554432000 4194304 4196468 140724531775152 139984285928176 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8476] ppid=8463 vsize=14089320 memory=1528052 CPUtime=1.47 cores=0,2,4,6
/proc/8465/task/8476/stat : 8476 (java) S 8463 8463 4413 0 -1 1077944384 9088 0 0 0 145 2 0 0 20 0 15 0 230335871 14427463680 406685 33554432000 4194304 4196468 140724531775152 139984284875632 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8477] ppid=8463 vsize=14089320 memory=1593844 CPUtime=0.58 cores=0,2,4,6
/proc/8465/task/8477/stat : 8477 (java) S 8463 8463 4413 0 -1 1077944384 6269 0 0 0 57 1 0 0 20 0 15 0 230335871 14427463680 406685 33554432000 4194304 4196468 140724531775152 139984283822576 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8478] ppid=8463 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8478/stat : 8478 (java) S 8463 8463 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230335871 14427463680 406685 33554432000 4194304 4196468 140724531775152 139984282770272 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8479] ppid=8463 vsize=14089320 memory=1464308 CPUtime=0.7 cores=0,2,4,6
/proc/8465/task/8479/stat : 8479 (java) S 8463 8463 4413 0 -1 1077944384 987 0 0 0 27 43 0 0 20 0 15 0 230335871 14427463680 406685 33554432000 4194304 4196468 140724531775152 139984281717296 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
Current children cumulated CPU time: 2450.19 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1628192 KiB
[startup+2502.3 s]
/proc/loadavg: 1.57 1.54 1.58 3/216 8652
/proc/meminfo: memFree=16380116/32770624 swapFree=67108796/67108860
[pid=8463] ppid=8460 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8463/stat : 8463 (xcsp3-exec) S 8460 8463 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 230335865 115843072 363 33554432000 4194304 5098028 140733210030000 140733210028104 139775725306492 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25858048 140733210031163 140733210031364 140733210031364 140733210034122 0
/proc/8463/statm: 28282 363 306 221 0 87 0
[pid=8465] ppid=8463 vsize=14089320 memory=1622624 CPUtime=2510.43 cores=0,2,4,6
/proc/8465/stat : 8465 (java) S 8463 8463 4413 0 -1 1077944320 127336 0 0 0 250547 496 0 0 20 0 15 0 230335865 14427463680 405656 33554432000 4194304 4196468 140724531775152 140724531757696 139985378017015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
/proc/8465/statm: 3522330 405656 3422 1 0 3483524 0
[pid=8465/tid=8466] ppid=8463 vsize=14089320 memory=886600 CPUtime=2499.33 cores=0,2,4,6
/proc/8465/task/8466/stat : 8466 (java) R 8463 8463 4413 0 -1 4202560 74652 0 0 0 249513 420 0 0 20 0 15 0 230335866 14427463680 405656 33554432000 4194304 4196468 140724531775152 139985382256696 139985018587925 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8467] ppid=8463 vsize=14089320 memory=1452 CPUtime=1.49 cores=0,2,4,6
/proc/8465/task/8467/stat : 8467 (java) S 8463 8463 4413 0 -1 1077944384 4206 0 0 0 140 9 0 0 20 0 15 0 230335866 14427463680 405656 33554432000 4194304 4196468 140724531775152 139985334570000 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8468] ppid=8463 vsize=14089320 memory=1589724 CPUtime=1.49 cores=0,2,4,6
/proc/8465/task/8468/stat : 8468 (java) S 8463 8463 4413 0 -1 1077944384 4796 0 0 0 141 8 0 0 20 0 15 0 230335866 14427463680 405656 33554432000 4194304 4196468 140724531775152 139985333517456 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8469] ppid=8463 vsize=14089320 memory=1523924 CPUtime=1.48 cores=0,2,4,6
/proc/8465/task/8469/stat : 8469 (java) S 8463 8463 4413 0 -1 1077944384 4976 0 0 0 139 9 0 0 20 0 15 0 230335866 14427463680 405656 33554432000 4194304 4196468 140724531775152 139984971950864 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8470] ppid=8463 vsize=14089320 memory=1388228 CPUtime=1.49 cores=0,2,4,6
/proc/8465/task/8470/stat : 8470 (java) S 8463 8463 4413 0 -1 1077944384 4301 0 0 0 142 7 0 0 20 0 15 0 230335866 14427463680 405656 33554432000 4194304 4196468 140724531775152 139984970898320 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8471] ppid=8463 vsize=14089320 memory=1423176 CPUtime=0.98 cores=0,2,4,6
/proc/8465/task/8471/stat : 8471 (java) S 8463 8463 4413 0 -1 1077944384 9930 0 0 0 80 18 0 0 20 0 15 0 230335868 14427463680 405656 33554432000 4194304 4196468 140724531775152 139984290138352 139985378028162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8472] ppid=8463 vsize=14089320 memory=1488976 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8472/stat : 8472 (java) S 8463 8463 4413 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 230335868 14427463680 405656 33554432000 4194304 4196468 140724531775152 139984289084640 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8473] ppid=8463 vsize=14089320 memory=1589724 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8473/stat : 8473 (java) S 8463 8463 4413 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 230335868 14427463680 405656 33554432000 4194304 4196468 140724531775152 139984288031488 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8474] ppid=8463 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8474/stat : 8474 (java) S 8463 8463 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230335871 14427463680 405656 33554432000 4194304 4196468 140724531775152 139984286980048 139985378035611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8475] ppid=8463 vsize=14089320 memory=1452 CPUtime=1.33 cores=0,2,4,6
/proc/8465/task/8475/stat : 8475 (java) S 8463 8463 4413 0 -1 1077944384 6775 0 0 0 132 1 0 0 20 0 15 0 230335871 14427463680 405656 33554432000 4194304 4196468 140724531775152 139984285928176 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8476] ppid=8463 vsize=14089320 memory=1053084 CPUtime=1.47 cores=0,2,4,6
/proc/8465/task/8476/stat : 8476 (java) S 8463 8463 4413 0 -1 1077944384 9090 0 0 0 145 2 0 0 20 0 15 0 230335871 14427463680 405656 33554432000 4194304 4196468 140724531775152 139984284875632 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8477] ppid=8463 vsize=14089320 memory=1452 CPUtime=0.58 cores=0,2,4,6
/proc/8465/task/8477/stat : 8477 (java) S 8463 8463 4413 0 -1 1077944384 6271 0 0 0 57 1 0 0 20 0 15 0 230335871 14427463680 405656 33554432000 4194304 4196468 140724531775152 139984283822576 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8478] ppid=8463 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8478/stat : 8478 (java) S 8463 8463 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230335871 14427463680 405656 33554432000 4194304 4196468 140724531775152 139984282770272 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8479] ppid=8463 vsize=14089320 memory=3632 CPUtime=0.71 cores=0,2,4,6
/proc/8465/task/8479/stat : 8479 (java) S 8463 8463 4413 0 -1 1077944384 1006 0 0 0 28 43 0 0 20 0 15 0 230335871 14427463680 405656 33554432000 4194304 4196468 140724531775152 139984281717296 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
Current children cumulated CPU time: 2510.43 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1624076 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2511.9 s]
/proc/loadavg: 1.64 1.56 1.58 3/216 8652
/proc/meminfo: memFree=15523808/32770624 swapFree=67108796/67108860
[pid=8463] ppid=8460 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8463/stat : 8463 (xcsp3-exec) S 8460 8463 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 230335865 115843072 363 33554432000 4194304 5098028 140733210030000 140733210028104 139775725306492 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25858048 140733210031163 140733210031364 140733210031364 140733210034122 0
/proc/8463/statm: 28282 363 306 221 0 87 0
[pid=8465] ppid=8463 vsize=14089320 memory=2430144 CPUtime=2520.07 cores=0,2,4,6
/proc/8465/stat : 8465 (java) S 8463 8463 4413 0 -1 1077944320 128655 0 0 0 251498 509 0 0 20 0 15 0 230335865 14427463680 607536 33554432000 4194304 4196468 140724531775152 140724531757696 139985378017015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
/proc/8465/statm: 3522330 607536 3422 1 0 3483524 0
[pid=8465/tid=8466] ppid=8463 vsize=14089320 memory=1452 CPUtime=2508.92 cores=0,2,4,6
/proc/8465/task/8466/stat : 8466 (java) R 8463 8463 4413 0 -1 4202560 75913 0 0 0 250460 432 0 0 20 0 15 0 230335866 14427463680 607536 33554432000 4194304 4196468 140724531775152 139985382256696 139985018588373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8467] ppid=8463 vsize=14089320 memory=2397244 CPUtime=1.5 cores=0,2,4,6
/proc/8465/task/8467/stat : 8467 (java) S 8463 8463 4413 0 -1 1077944384 4209 0 0 0 141 9 0 0 20 0 15 0 230335866 14427463680 607536 33554432000 4194304 4196468 140724531775152 139985334570000 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8468] ppid=8463 vsize=14089320 memory=1523924 CPUtime=1.5 cores=0,2,4,6
/proc/8465/task/8468/stat : 8468 (java) S 8463 8463 4413 0 -1 1077944384 4798 0 0 0 142 8 0 0 20 0 15 0 230335866 14427463680 607536 33554432000 4194304 4196468 140724531775152 139985333517456 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8469] ppid=8463 vsize=14089320 memory=1452 CPUtime=1.49 cores=0,2,4,6
/proc/8465/task/8469/stat : 8469 (java) S 8463 8463 4413 0 -1 1077944384 4983 0 0 0 140 9 0 0 20 0 15 0 230335866 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984971950864 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8470] ppid=8463 vsize=14089320 memory=1728 CPUtime=1.5 cores=0,2,4,6
/proc/8465/task/8470/stat : 8470 (java) S 8463 8463 4413 0 -1 1077944384 4301 0 0 0 143 7 0 0 20 0 15 0 230335866 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984970898320 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8471] ppid=8463 vsize=14089320 memory=8628 CPUtime=0.98 cores=0,2,4,6
/proc/8465/task/8471/stat : 8471 (java) S 8463 8463 4413 0 -1 1077944384 9958 0 0 0 80 18 0 0 20 0 15 0 230335868 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984290138352 139985378028162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8472] ppid=8463 vsize=14089320 memory=3164 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8472/stat : 8472 (java) S 8463 8463 4413 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 230335868 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984289084640 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8473] ppid=8463 vsize=14089320 memory=1244 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8473/stat : 8473 (java) S 8463 8463 4413 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 230335868 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984288031488 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8474] ppid=8463 vsize=14089320 memory=280134008561664 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8474/stat : 8474 (java) S 8463 8463 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230335871 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984286980048 139985378035611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8475] ppid=8463 vsize=14089320 memory=6944656575208382560 CPUtime=1.33 cores=0,2,4,6
/proc/8465/task/8475/stat : 8475 (java) S 8463 8463 4413 0 -1 1077944384 6775 0 0 0 132 1 0 0 20 0 15 0 230335871 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984285928176 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8476] ppid=8463 vsize=14089320 memory=6944656575208382560 CPUtime=1.48 cores=0,2,4,6
/proc/8465/task/8476/stat : 8476 (java) S 8463 8463 4413 0 -1 1077944384 9091 0 0 0 146 2 0 0 20 0 15 0 230335871 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984284875632 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8477] ppid=8463 vsize=14089320 memory=2056 CPUtime=0.58 cores=0,2,4,6
/proc/8465/task/8477/stat : 8477 (java) S 8463 8463 4413 0 -1 1077944384 6271 0 0 0 57 1 0 0 20 0 15 0 230335871 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984283822576 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8478] ppid=8463 vsize=14089320 memory=932 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8478/stat : 8478 (java) S 8463 8463 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230335871 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984282770272 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8479] ppid=8463 vsize=14089320 memory=1452 CPUtime=0.72 cores=0,2,4,6
/proc/8465/task/8479/stat : 8479 (java) S 8463 8463 4413 0 -1 1077944384 1023 0 0 0 28 44 0 0 20 0 15 0 230335871 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984281717296 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2431596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2511.91 s]
# the end of solver process 8463 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001066 s, system=0.001066 s
[startup+2511.92 s]
# the end of solver process 8465 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.99 s, system=5.1069 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+2511.9 s]
/proc/loadavg: 1.64 1.56 1.58 3/216 8652
/proc/meminfo: memFree=15523808/32770624 swapFree=67108796/67108860
[pid=8463] ppid=8460 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8463/stat : 8463 (xcsp3-exec) S 8460 8463 4413 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 230335865 115843072 363 33554432000 4194304 5098028 140733210030000 140733210028104 139775725306492 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25858048 140733210031163 140733210031364 140733210031364 140733210034122 0
/proc/8463/statm: 28282 363 306 221 0 87 0
[pid=8465] ppid=8463 vsize=14089320 memory=2430144 CPUtime=2520.07 cores=0,2,4,6
/proc/8465/stat : 8465 (java) S 8463 8463 4413 0 -1 1077944320 128655 0 0 0 251498 509 0 0 20 0 15 0 230335865 14427463680 607536 33554432000 4194304 4196468 140724531775152 140724531757696 139985378017015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
/proc/8465/statm: 3522330 607536 3422 1 0 3483524 0
[pid=8465/tid=8466] ppid=8463 vsize=14089320 memory=1452 CPUtime=2508.92 cores=0,2,4,6
/proc/8465/task/8466/stat : 8466 (java) R 8463 8463 4413 0 -1 4202560 75913 0 0 0 250460 432 0 0 20 0 15 0 230335866 14427463680 607536 33554432000 4194304 4196468 140724531775152 139985382256696 139985018588373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8467] ppid=8463 vsize=14089320 memory=2397244 CPUtime=1.5 cores=0,2,4,6
/proc/8465/task/8467/stat : 8467 (java) S 8463 8463 4413 0 -1 1077944384 4209 0 0 0 141 9 0 0 20 0 15 0 230335866 14427463680 607536 33554432000 4194304 4196468 140724531775152 139985334570000 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8468] ppid=8463 vsize=14089320 memory=1523924 CPUtime=1.5 cores=0,2,4,6
/proc/8465/task/8468/stat : 8468 (java) S 8463 8463 4413 0 -1 1077944384 4798 0 0 0 142 8 0 0 20 0 15 0 230335866 14427463680 607536 33554432000 4194304 4196468 140724531775152 139985333517456 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8469] ppid=8463 vsize=14089320 memory=1452 CPUtime=1.49 cores=0,2,4,6
/proc/8465/task/8469/stat : 8469 (java) S 8463 8463 4413 0 -1 1077944384 4983 0 0 0 140 9 0 0 20 0 15 0 230335866 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984971950864 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8470] ppid=8463 vsize=14089320 memory=1728 CPUtime=1.5 cores=0,2,4,6
/proc/8465/task/8470/stat : 8470 (java) S 8463 8463 4413 0 -1 1077944384 4301 0 0 0 143 7 0 0 20 0 15 0 230335866 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984970898320 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8471] ppid=8463 vsize=14089320 memory=8628 CPUtime=0.98 cores=0,2,4,6
/proc/8465/task/8471/stat : 8471 (java) S 8463 8463 4413 0 -1 1077944384 9958 0 0 0 80 18 0 0 20 0 15 0 230335868 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984290138352 139985378028162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8472] ppid=8463 vsize=14089320 memory=3164 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8472/stat : 8472 (java) S 8463 8463 4413 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 230335868 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984289084640 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8473] ppid=8463 vsize=14089320 memory=1244 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8473/stat : 8473 (java) S 8463 8463 4413 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 230335868 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984288031488 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8474] ppid=8463 vsize=14089320 memory=280134008561664 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8474/stat : 8474 (java) S 8463 8463 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230335871 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984286980048 139985378035611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8475] ppid=8463 vsize=14089320 memory=6944656575208382560 CPUtime=1.33 cores=0,2,4,6
/proc/8465/task/8475/stat : 8475 (java) S 8463 8463 4413 0 -1 1077944384 6775 0 0 0 132 1 0 0 20 0 15 0 230335871 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984285928176 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8476] ppid=8463 vsize=14089320 memory=6944656575208382560 CPUtime=1.48 cores=0,2,4,6
/proc/8465/task/8476/stat : 8476 (java) S 8463 8463 4413 0 -1 1077944384 9091 0 0 0 146 2 0 0 20 0 15 0 230335871 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984284875632 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8477] ppid=8463 vsize=14089320 memory=2056 CPUtime=0.58 cores=0,2,4,6
/proc/8465/task/8477/stat : 8477 (java) S 8463 8463 4413 0 -1 1077944384 6271 0 0 0 57 1 0 0 20 0 15 0 230335871 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984283822576 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8478] ppid=8463 vsize=14089320 memory=932 CPUtime=0 cores=0,2,4,6
/proc/8465/task/8478/stat : 8478 (java) S 8463 8463 4413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 230335871 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984282770272 139985378027221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
[pid=8465/tid=8479] ppid=8463 vsize=14089320 memory=1452 CPUtime=0.72 cores=0,2,4,6
/proc/8465/task/8479/stat : 8479 (java) S 8463 8463 4413 0 -1 1077944384 1023 0 0 0 28 44 0 0 20 0 15 0 230335871 14427463680 607536 33554432000 4194304 4196468 140724531775152 139984281717296 139985378028162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18341888 140724531782790 140724531782961 140724531782961 140724531785679 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2431596 KiB
Child status: 143
Real time (s): 2511.92
CPU time (s): 2520.1
CPU user time (s): 2514.99
CPU system time (s): 5.1069
CPU usage (%): 100.326
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 4307176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.99
system time used= 5.1069
maximum resident set size= 4359088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129491
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71781
involuntary context switches= 2899
# summary of solver processes directly reported to runsolver:
# pid: 8463,8465
# total CPU time (s): 2520.1
# total CPU user time (s): 2514.99
# total CPU system time (s): 5.1069
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4383 second user time and 23.4947 second system time
The end