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 (15218 MiB free)
memory of node 1: 16384 MiB (15625 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270384-1502618478/watcher-4270384-1502618478 -o /tmp/evaluation-result-4270384-1502618478/solver-4270384-1502618478 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28320 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 881000455 HOME/instance-4270384-1502618478.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29532, runsolver pid=29529
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 1.95 1.92 1.86 2/185 29543
/proc/meminfo: memFree=31573988/32770624 swapFree=67108860/67108860
[pid=29532] ppid=29529 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29532/stat : 29532 (xcsp3-exec) S 29529 29532 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64041173 9740288 345 18446744073709551615 4194304 5098028 140722521274064 140722521272168 139896153318012 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 27111424 140722521280895 140722521281098 140722521281098 140722521284587 0
/proc/29532/statm: 2378 345 289 221 0 87 0
[pid=29535] ppid=29532 vsize=13574484 memory=19020 CPUtime=0.03 cores=0,2,4,6
/proc/29535/stat : 29535 (java) S 29532 29532 17093 0 -1 1077944320 4093 0 0 0 2 1 0 0 20 0 9 0 64041180 13900271616 4755 18446744073709551615 4194304 4196468 140723114994304 140723114976848 140291813560055 0 0 1 16800970 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
/proc/29535/statm: 3393621 4755 2105 1 0 3383118 0
[pid=29535/tid=29536] ppid=29532 vsize=13574484 memory=6452091043247515963 CPUtime=0.02 cores=0,2,4,6
/proc/29535/task/29536/stat : 29536 (java) R 29532 29532 17093 0 -1 4202560 2808 0 0 0 2 0 0 0 20 0 9 0 64041180 13900271616 4755 18446744073709551615 4194304 4196468 140723114994304 140291817798000 140291795559328 0 4 1 16800970 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29537] ppid=29532 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29537/stat : 29537 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64041181 13900271616 4755 18446744073709551615 4194304 4196468 140723114994304 140291755505936 140291813570261 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29538] ppid=29532 vsize=13574484 memory=140106811086464 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29538/stat : 29538 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64041181 13900271616 4755 18446744073709551615 4194304 4196468 140723114994304 140291754453392 140291813570261 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29539] ppid=29532 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29539/stat : 29539 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64041181 13900271616 4755 18446744073709551615 4194304 4196468 140723114994304 140291753400848 140291813570261 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29540] ppid=29532 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29540/stat : 29540 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64041181 13900271616 4755 18446744073709551615 4194304 4196468 140723114994304 140291752348304 140291813570261 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29541] ppid=29532 vsize=13574484 memory=140106811086464 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29541/stat : 29541 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64041182 13900271616 4755 18446744073709551615 4194304 4196468 140723114994304 140291359312368 140291813571202 0 0 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29542] ppid=29532 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29542/stat : 29542 (java) S 29532 29532 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 64041183 13900271616 4755 18446744073709551615 4194304 4196468 140723114994304 140291358258592 140291813570261 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29543] ppid=29532 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29543/stat : 29543 (java) S 29532 29532 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 64041183 13900271616 4755 18446744073709551615 4194304 4196468 140723114994304 140291357206000 140291813570261 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20400 KiB
[startup+0.212249 s]*
/proc/loadavg: 1.95 1.92 1.86 5/191 29553
/proc/meminfo: memFree=31563608/32770624 swapFree=67108860/67108860
[pid=29532] ppid=29529 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29532/stat : 29532 (xcsp3-exec) S 29529 29532 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64041173 9740288 345 18446744073709551615 4194304 5098028 140722521274064 140722521272168 139896153318012 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 27111424 140722521280895 140722521281098 140722521281098 140722521284587 0
/proc/29532/statm: 2378 345 289 221 0 87 0
[pid=29535] ppid=29532 vsize=13974352 memory=27624 CPUtime=0.1 cores=0,2,4,6
/proc/29535/stat : 29535 (java) S 29532 29532 17093 0 -1 1077944320 5338 0 0 0 9 1 0 0 20 0 15 0 64041180 14309736448 6906 18446744073709551615 4194304 4196468 140723114994304 140723114976848 140291813560055 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
/proc/29535/statm: 3493588 6906 2843 1 0 3482964 0
[pid=29535/tid=29536] ppid=29532 vsize=13974352 memory=7310027617963868211 CPUtime=0.08 cores=0,2,4,6
/proc/29535/task/29536/stat : 29536 (java) R 29532 29532 17093 0 -1 4202560 3353 0 0 0 7 1 0 0 20 0 15 0 64041180 14309736448 6906 18446744073709551615 4194304 4196468 140723114994304 140291817787936 140291797640542 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29537] ppid=29532 vsize=13974352 memory=288230583233150999 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29537/stat : 29537 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041181 14309736448 6906 18446744073709551615 4194304 4196468 140723114994304 140291755505936 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29538] ppid=29532 vsize=13974352 memory=140106811112560 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29538/stat : 29538 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041181 14309736448 6906 18446744073709551615 4194304 4196468 140723114994304 140291754453392 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29539] ppid=29532 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29539/stat : 29539 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041181 14309736448 6906 18446744073709551615 4194304 4196468 140723114994304 140291753400848 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29540] ppid=29532 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29540/stat : 29540 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041181 14309736448 6906 18446744073709551615 4194304 4196468 140723114994304 140291752348304 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29541] ppid=29532 vsize=13974352 memory=140106811086464 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29541/stat : 29541 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041182 14309736448 6906 18446744073709551615 4194304 4196468 140723114994304 140291359312368 140291813571202 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29542] ppid=29532 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29542/stat : 29542 (java) S 29532 29532 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64041183 14309736448 6906 18446744073709551615 4194304 4196468 140723114994304 140291358258592 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29543] ppid=29532 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29543/stat : 29543 (java) S 29532 29532 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64041183 14309736448 6906 18446744073709551615 4194304 4196468 140723114994304 140291357206000 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29544] ppid=29532 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29544/stat : 29544 (java) S 29532 29532 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041186 14309736448 6906 18446744073709551615 4194304 4196468 140723114994304 140291356154576 140291813578651 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29545] ppid=29532 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29545/stat : 29545 (java) S 29532 29532 17093 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 64041186 14309736448 6906 18446744073709551615 4194304 4196468 140723114994304 140291355101168 140291813571202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29546] ppid=29532 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29546/stat : 29546 (java) S 29532 29532 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64041186 14309736448 6906 18446744073709551615 4194304 4196468 140723114994304 140291354048624 140291813571202 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29547] ppid=29532 vsize=13974352 memory=140106811086464 CPUtime=0.01 cores=0,2,4,6
/proc/29535/task/29547/stat : 29547 (java) S 29532 29532 17093 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 15 0 64041186 14309736448 6906 18446744073709551615 4194304 4196468 140723114994304 140291352996080 140291813571202 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29548] ppid=29532 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29548/stat : 29548 (java) S 29532 29532 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041186 14309736448 6906 18446744073709551615 4194304 4196468 140723114994304 140291351943776 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29550] ppid=29532 vsize=13974352 memory=140106811086464 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29550/stat : 29550 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041192 14309736448 6906 18446744073709551615 4194304 4196468 140723114994304 140291350891312 140291813571202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29004 KiB
[startup+0.313942 s]*
/proc/loadavg: 1.95 1.92 1.86 3/196 29563
/proc/meminfo: memFree=31548652/32770624 swapFree=67108860/67108860
[pid=29532] ppid=29529 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29532/stat : 29532 (xcsp3-exec) S 29529 29532 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64041173 9740288 345 18446744073709551615 4194304 5098028 140722521274064 140722521272168 139896153318012 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 27111424 140722521280895 140722521281098 140722521281098 140722521284587 0
/proc/29532/statm: 2378 345 289 221 0 87 0
[pid=29535] ppid=29532 vsize=13974352 memory=39900 CPUtime=0.32 cores=0,2,4,6
/proc/29535/stat : 29535 (java) S 29532 29532 17093 0 -1 1077944320 9096 0 0 0 28 4 0 0 20 0 15 0 64041180 14309736448 9975 18446744073709551615 4194304 4196468 140723114994304 140723114976848 140291813560055 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
/proc/29535/statm: 3493588 9975 3033 1 0 3482964 0
[pid=29535/tid=29536] ppid=29532 vsize=13974352 memory=-5059952977386882957 CPUtime=0.18 cores=0,2,4,6
/proc/29535/task/29536/stat : 29536 (java) R 29532 29532 17093 0 -1 4202560 6234 0 0 0 16 2 0 0 20 0 15 0 64041180 14309736448 9975 18446744073709551615 4194304 4196468 140723114994304 140291817797024 140291813571990 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29537] ppid=29532 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29537/stat : 29537 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041181 14309736448 9975 18446744073709551615 4194304 4196468 140723114994304 140291755505936 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29538] ppid=29532 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29538/stat : 29538 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041181 14309736448 9975 18446744073709551615 4194304 4196468 140723114994304 140291754453392 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29539] ppid=29532 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29539/stat : 29539 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041181 14309736448 9975 18446744073709551615 4194304 4196468 140723114994304 140291753400848 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29540] ppid=29532 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29540/stat : 29540 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041181 14309736448 9975 18446744073709551615 4194304 4196468 140723114994304 140291752348304 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29541] ppid=29532 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29541/stat : 29541 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041182 14309736448 9975 18446744073709551615 4194304 4196468 140723114994304 140291359312368 140291813571202 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29542] ppid=29532 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29542/stat : 29542 (java) S 29532 29532 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64041183 14309736448 9975 18446744073709551615 4194304 4196468 140723114994304 140291358258592 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29543] ppid=29532 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29543/stat : 29543 (java) S 29532 29532 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64041183 14309736448 9975 18446744073709551615 4194304 4196468 140723114994304 140291357206000 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29544] ppid=29532 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29544/stat : 29544 (java) S 29532 29532 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041186 14309736448 9975 18446744073709551615 4194304 4196468 140723114994304 140291356154576 140291813578651 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29545] ppid=29532 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29535/task/29545/stat : 29545 (java) S 29532 29532 17093 0 -1 1077944384 544 0 0 0 2 0 0 0 20 0 15 0 64041186 14309736448 9975 18446744073709551615 4194304 4196468 140723114994304 140291355101168 140291813571202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29546] ppid=29532 vsize=13974352 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29535/task/29546/stat : 29546 (java) R 29532 29532 17093 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 15 0 64041186 14309736448 9975 18446744073709551615 4194304 4196468 140723114994304 140291354048624 140291813571202 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29547] ppid=29532 vsize=13974352 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/29535/task/29547/stat : 29547 (java) R 29532 29532 17093 0 -1 4202560 741 0 0 0 6 0 0 0 20 0 15 0 64041186 14309736448 9975 18446744073709551615 4194304 4196468 140723114994304 140291352996080 140291805797182 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29548] ppid=29532 vsize=13974352 memory=140106811086464 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29548/stat : 29548 (java) S 29532 29532 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041186 14309736448 9975 18446744073709551615 4194304 4196468 140723114994304 140291351943776 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29550] ppid=29532 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29550/stat : 29550 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041192 14309736448 9975 18446744073709551615 4194304 4196468 140723114994304 140291350891312 140291813571202 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41280 KiB
[startup+0.700731 s]
/proc/loadavg: 1.95 1.92 1.86 6/211 29578
/proc/meminfo: memFree=31516544/32770624 swapFree=67108860/67108860
[pid=29532] ppid=29529 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29532/stat : 29532 (xcsp3-exec) S 29529 29532 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64041173 9740288 345 18446744073709551615 4194304 5098028 140722521274064 140722521272168 139896153318012 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 27111424 140722521280895 140722521281098 140722521281098 140722521284587 0
/proc/29532/statm: 2378 345 289 221 0 87 0
[pid=29535] ppid=29532 vsize=13980732 memory=66524 CPUtime=1.2 cores=0,2,4,6
/proc/29535/stat : 29535 (java) S 29532 29532 17093 0 -1 1077944320 14191 0 0 0 113 7 0 0 20 0 15 0 64041180 14316269568 16631 18446744073709551615 4194304 4196468 140723114994304 140723114976848 140291813560055 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
/proc/29535/statm: 3495183 16631 3176 1 0 3483476 0
[pid=29535/tid=29536] ppid=29532 vsize=13980732 memory=288230600329147789 CPUtime=0.56 cores=0,2,4,6
/proc/29535/task/29536/stat : 29536 (java) R 29532 29532 17093 0 -1 4202560 9083 0 0 0 51 5 0 0 20 0 15 0 64041180 14316269568 16631 18446744073709551615 4194304 4196468 140723114994304 140291817798048 140291813571990 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29537] ppid=29532 vsize=13980732 memory=15825477856155201 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29537/stat : 29537 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 16631 18446744073709551615 4194304 4196468 140723114994304 140291755505936 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29538] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29538/stat : 29538 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 16631 18446744073709551615 4194304 4196468 140723114994304 140291754453392 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29539] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29539/stat : 29539 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 16631 18446744073709551615 4194304 4196468 140723114994304 140291753400848 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29540] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29540/stat : 29540 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 16631 18446744073709551615 4194304 4196468 140723114994304 140291752348304 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29541] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29541/stat : 29541 (java) S 29532 29532 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64041182 14316269568 16631 18446744073709551615 4194304 4196468 140723114994304 140291359312368 140291813571202 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29542] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29542/stat : 29542 (java) S 29532 29532 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64041183 14316269568 16631 18446744073709551615 4194304 4196468 140723114994304 140291358258592 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29543] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29543/stat : 29543 (java) S 29532 29532 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64041183 14316269568 16631 18446744073709551615 4194304 4196468 140723114994304 140291357206000 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29544] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29544/stat : 29544 (java) S 29532 29532 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041186 14316269568 16631 18446744073709551615 4194304 4196468 140723114994304 140291356154576 140291813578651 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29545] ppid=29532 vsize=13980732 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/29535/task/29545/stat : 29545 (java) R 29532 29532 17093 0 -1 4202560 1185 0 0 0 13 0 0 0 20 0 15 0 64041186 14316269568 16631 18446744073709551615 4194304 4196468 140723114994304 140291355089520 140291797060448 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29546] ppid=29532 vsize=13980732 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/29535/task/29546/stat : 29546 (java) R 29532 29532 17093 0 -1 1077944384 926 0 0 0 17 0 0 0 20 0 15 0 64041186 14316269568 16631 18446744073709551615 4194304 4196468 140723114994304 140291354048624 140291813571202 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29547] ppid=29532 vsize=13980732 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/29535/task/29547/stat : 29547 (java) R 29532 29532 17093 0 -1 4202560 1693 0 0 0 31 0 0 0 20 0 15 0 64041186 14316269568 16631 18446744073709551615 4194304 4196468 140723114994304 140291352992192 140291806659902 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29548] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29548/stat : 29548 (java) S 29532 29532 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041186 14316269568 16631 18446744073709551615 4194304 4196468 140723114994304 140291351943776 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29550] ppid=29532 vsize=13980732 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29550/stat : 29550 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041192 14316269568 16631 18446744073709551615 4194304 4196468 140723114994304 140291350891312 140291813571202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67904 KiB
[startup+1.50081 s]
/proc/loadavg: 1.95 1.92 1.86 6/211 29578
/proc/meminfo: memFree=31447912/32770624 swapFree=67108860/67108860
[pid=29532] ppid=29529 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29532/stat : 29532 (xcsp3-exec) S 29529 29532 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64041173 9740288 345 18446744073709551615 4194304 5098028 140722521274064 140722521272168 139896153318012 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 27111424 140722521280895 140722521281098 140722521281098 140722521284587 0
/proc/29532/statm: 2378 345 289 221 0 87 0
[pid=29535] ppid=29532 vsize=13983488 memory=125140 CPUtime=3.71 cores=0,2,4,6
/proc/29535/stat : 29535 (java) S 29532 29532 17093 0 -1 1077944320 38766 0 0 0 360 11 0 0 20 0 15 0 64041180 14319091712 31285 18446744073709551615 4194304 4196468 140723114994304 140723114976848 140291813560055 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
/proc/29535/statm: 3495872 31285 3182 1 0 3484165 0
[pid=29535/tid=29536] ppid=29532 vsize=13983488 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/29535/task/29536/stat : 29536 (java) R 29532 29532 17093 0 -1 4202560 10407 0 0 0 131 5 0 0 20 0 15 0 64041180 14319091712 31285 18446744073709551615 4194304 4196468 140723114994304 140291817797424 140291435995103 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29537] ppid=29532 vsize=13983488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29537/stat : 29537 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041181 14319091712 31285 18446744073709551615 4194304 4196468 140723114994304 140291755505936 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29538] ppid=29532 vsize=13983488 memory=280213330154864 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29538/stat : 29538 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041181 14319091712 31285 18446744073709551615 4194304 4196468 140723114994304 140291754453392 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29539] ppid=29532 vsize=13983488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29539/stat : 29539 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041181 14319091712 31285 18446744073709551615 4194304 4196468 140723114994304 140291753400848 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29540] ppid=29532 vsize=13983488 memory=0 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/29535/task/29537/stat : 29537 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291755505936 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29538] ppid=29532 vsize=13980732 memory=140248 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29538/stat : 29538 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291754453392 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29539] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29539/stat : 29539 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291753400848 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29540] ppid=29532 vsize=13980732 memory=137836 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29540/stat : 29540 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291752348304 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29541] ppid=29532 vsize=13980732 memory=125104 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29541/stat : 29541 (java) S 29532 29532 17093 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 64041182 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291359312368 140291813571202 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29542] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29542/stat : 29542 (java) S 29532 29532 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64041183 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291358258592 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29543] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29543/stat : 29543 (java) S 29532 29532 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64041183 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291357206000 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29544] ppid=29532 vsize=13980732 memory=280213330731056 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29544/stat : 29544 (java) S 29532 29532 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041186 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291356154576 140291813578651 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29545] ppid=29532 vsize=13980732 memory=0 CPUtime=2.52 cores=0,2,4,6
/proc/29535/task/29545/stat : 29545 (java) R 29532 29532 17093 0 -1 4202560 14281 0 0 0 250 2 0 0 20 0 15 0 64041186 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291355101168 140291796971069 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29546] ppid=29532 vsize=13980732 memory=0 CPUtime=2.56 cores=0,2,4,6
/proc/29535/task/29546/stat : 29546 (java) R 29532 29532 17093 0 -1 4202560 12393 0 0 0 255 1 0 0 20 0 15 0 64041186 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291354048624 140291798685094 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29547] ppid=29532 vsize=13980732 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/29535/task/29547/stat : 29547 (java) R 29532 29532 17093 0 -1 1077944384 4225 0 0 0 47 2 0 0 20 0 15 0 64041186 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291352996080 140291813571202 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29548] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29548/stat : 29548 (java) S 29532 29532 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041186 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291351943776 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29550] ppid=29532 vsize=13980732 memory=22 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29550/stat : 29550 (java) S 29532 29532 17093 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 64041192 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291350891312 140291813571202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
Current children cumulated CPU time: 8.57 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 148924 KiB
[startup+3.59354 s]
# the end of solver process 29532 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.05621 s, system=0.143816 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.201 s]
/proc/loadavg: 2.19 1.97 1.87 8/211 29578
/proc/meminfo: memFree=31315708/32770624 swapFree=67108860/67108860
[pid=29532] ppid=29529 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29532/stat : 29532 (xcsp3-exec) S 29529 29532 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64041173 9740288 345 18446744073709551615 4194304 5098028 140722521274064 140722521272168 139896153318012 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 27111424 140722521280895 140722521281098 140722521281098 140722521284587 0
/proc/29532/statm: 2378 345 289 221 0 87 0
[pid=29535] ppid=29532 vsize=13980732 memory=147544 CPUtime=8.62 cores=0,2,4,6
/proc/29535/stat : 29535 (java) S 29532 29532 17093 0 -1 1077944320 42731 0 0 0 850 12 0 0 20 0 15 0 64041180 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140723114976848 140291813560055 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
/proc/29535/statm: 3495183 36886 3207 1 0 3483476 0
[pid=29535/tid=29536] ppid=29532 vsize=13980732 memory=2173 CPUtime=2.98 cores=0,2,4,6
/proc/29535/task/29536/stat : 29536 (java) S 29532 29532 17093 0 -1 1077944384 10459 0 0 0 292 6 0 0 20 0 15 0 64041180 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291817797408 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29537] ppid=29532 vsize=13980732 memory=289 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29537/stat : 29537 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291755505936 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29538] ppid=29532 vsize=13980732 memory=822 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29538/stat : 29538 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291754453392 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29539] ppid=29532 vsize=13980732 memory=53 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29539/stat : 29539 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291753400848 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29540] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29540/stat : 29540 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291752348304 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29541] ppid=29532 vsize=13980732 memory=102 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29541/stat : 29541 (java) S 29532 29532 17093 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 64041182 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291359312368 140291813571202 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29542] ppid=29532 vsize=13980732 memory=218 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29542/stat : 29542 (java) S 29532 29532 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64041183 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291358258592 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29543] ppid=29532 vsize=13980732 memory=4 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29543/stat : 29543 (java) S 29532 29532 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64041183 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291357206000 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29544] ppid=29532 vsize=13980732 memory=1 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29544/stat : 29544 (java) S 29532 29532 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041186 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291356154576 140291813578651 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29545] ppid=29532 vsize=13980732 memory=328 CPUtime=2.55 cores=0,2,4,6
/proc/29535/task/29545/stat : 29545 (java) S 29532 29532 17093 0 -1 1077944384 14281 0 0 0 253 2 0 0 20 0 15 0 64041186 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291355087952 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29546] ppid=29532 vsize=13980732 memory=1 CPUtime=2.57 cores=0,2,4,6
/proc/29535/task/29546/stat : 29546 (java) D 29532 29532 17093 0 -1 4202560 12398 0 0 0 256 1 0 0 20 0 15 0 64041186 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291354041112 140291806277018 0 4 1 16800974 18446744071582151463 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29547] ppid=29532 vsize=13980732 memory=140106665228255 CPUtime=0.49 cores=0,2,4,6
/proc/29535/task/29547/stat : 29547 (java) D 29532 29532 17093 0 -1 4202560 4238 0 0 0 47 2 0 0 20 0 15 0 64041186 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291352996000 140291793484191 0 4 1 16800974 18446744072099675269 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29548] ppid=29532 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29548/stat : 29548 (java) S 29532 29532 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041186 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291351943776 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29550] ppid=29532 vsize=13980732 memory=8243114992657236055 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29550/stat : 29550 (java) D 29532 29532 17093 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 64041192 14316269568 36886 18446744073709551615 4194304 4196468 140723114994304 140291350891232 140291798416142 0 4 1 16800974 18446744071582151416 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
Current children cumulated CPU time: 8.62 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 148924 KiB
[startup+3.40079 s]
/proc/loadavg: 2.19 1.97 1.87 8/211 29578
/proc/meminfo: memFree=31315708/32770624 swapFree=67108860/67108860
[pid=29532] ppid=29529 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29532/stat : 29532 (xcsp3-exec) S 29529 29532 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64041173 9740288 345 18446744073709551615 4194304 5098028 140722521274064 140722521272168 139896153318012 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 27111424 140722521280895 140722521281098 140722521281098 140722521284587 0
/proc/29532/statm: 2378 345 289 221 0 87 0
[pid=29535] ppid=29532 vsize=13980732 memory=147828 CPUtime=8.71 cores=0,2,4,6
/proc/29535/stat : 29535 (java) S 29532 29532 17093 0 -1 1077944320 42775 0 0 0 859 12 0 0 20 0 15 0 64041180 14316269568 36957 18446744073709551615 4194304 4196468 140723114994304 140723114976848 140291813560055 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
/proc/29535/statm: 3495183 36957 3207 1 0 3483476 0
[pid=29535/tid=29536] ppid=29532 vsize=13980732 memory=6944656592387989600 CPUtime=3.04 cores=0,2,4,6
/proc/29535/task/29536/stat : 29536 (java) R 29532 29532 17093 0 -1 4202560 10459 0 0 0 298 6 0 0 20 0 15 0 64041180 14316269568 36957 18446744073709551615 4194304 4196468 140723114994304 140291817794624 140291438884122 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29537] ppid=29532 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29537/stat : 29537 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 36957 18446744073709551615 4194304 4196468 140723114994304 140291755505936 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29538] ppid=29532 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29538/stat : 29538 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 36957 18446744073709551615 4194304 4196468 140723114994304 140291754453392 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29539] ppid=29532 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29539/stat : 29539 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 36957 18446744073709551615 4194304 4196468 140723114994304 140291753400848 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29540] ppid=29532 vsize=13980732 memory=-3833726747341067623 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29540/stat : 29540 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 36957 18446744073709551615 4194304 4196468 140723114994304 140291752348304 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29541] ppid=29532 vsize=13980732 memory=6944656592455360560 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29541/stat : 29541 (java) S 29532 29532 17093 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 64041182 14316269568 36957 18446744073709551615 4194304 4196468 140723114994304 140291359312368 140291813571202 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29542] ppid=29532 vsize=13980732 memory=7378349102387786914 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29542/stat : 29542 (java) S 29532 29532 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64041183 14316269568 36957 18446744073709551615 4194304 4196468 140723114994304 140291358258592 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29543] ppid=29532 vsize=13980732 memory=-6876588627878687573 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29543/stat : 29543 (java) S 29532 29532 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64041183 14316269568 36957 18446744073709551615 4194304 4196468 140723114994304 140291357206000 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29544] ppid=29532 vsize=13980732 memory=4137287014106042739 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29544/stat : 29544 (java) S 29532 29532 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041186 14316269568 36957 18446744073709551615 4194304 4196468 140723114994304 140291356154576 140291813578651 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29545] ppid=29532 vsize=13980732 memory=-6804530832991035292 CPUtime=2.56 cores=0,2,4,6
/proc/29535/task/29545/stat : 29545 (java) S 29532 29532 17093 0 -1 1077944384 14300 0 0 0 254 2 0 0 20 0 15 0 64041186 14316269568 36957 18446744073709551615 4194304 4196468 140723114994304 140291355101168 140291813571202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29546] ppid=29532 vsize=13980732 memory=6944656425123485561 CPUtime=2.59 cores=0,2,4,6
/proc/29535/task/29546/stat : 29546 (java) R 29532 29532 17093 0 -1 4202560 12409 0 0 0 258 1 0 0 20 0 15 0 64041186 14316269568 36957 18446744073709551615 4194304 4196468 140723114994304 140291354048624 140291792949309 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29547] ppid=29532 vsize=13980732 memory=7512115574459290212 CPUtime=0.5 cores=0,2,4,6
/proc/29535/task/29547/stat : 29547 (java) S 29532 29532 17093 0 -1 1077944384 4249 0 0 0 48 2 0 0 20 0 15 0 64041186 14316269568 36957 18446744073709551615 4194304 4196468 140723114994304 140291352996080 140291813571202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29548] ppid=29532 vsize=13980732 memory=131181722994932 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29548/stat : 29548 (java) S 29532 29532 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041186 14316269568 36957 18446744073709551615 4194304 4196468 140723114994304 140291351943776 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29550] ppid=29532 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29550/stat : 29550 (java) S 29532 29532 17093 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 64041192 14316269568 36957 18446744073709551615 4194304 4196468 140723114994304 140291350891312 140291813571202 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
Current children cumulated CPU time: 8.71 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 149208 KiB
[startup+3.50098 s]
/proc/loadavg: 2.19 1.97 1.87 8/211 29578
/proc/meminfo: memFree=31315708/32770624 swapFree=67108860/67108860
[pid=29532] ppid=29529 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29532/stat : 29532 (xcsp3-exec) S 29529 29532 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64041173 9740288 345 18446744073709551615 4194304 5098028 140722521274064 140722521272168 139896153318012 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 27111424 140722521280895 140722521281098 140722521281098 140722521284587 0
/proc/29532/statm: 2378 345 289 221 0 87 0
[pid=29535] ppid=29532 vsize=13980732 memory=149980 CPUtime=8.98 cores=0,2,4,6
/proc/29535/stat : 29535 (java) S 29532 29532 17093 0 -1 1077944320 42808 0 0 0 886 12 0 0 20 0 15 0 64041180 14316269568 37495 18446744073709551615 4194304 4196468 140723114994304 140723114976848 140291813560055 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
/proc/29535/statm: 3495183 37495 3207 1 0 3483476 0
[pid=29535/tid=29536] ppid=29532 vsize=13980732 memory=0 CPUtime=3.14 cores=0,2,4,6
/proc/29535/task/29536/stat : 29536 (java) R 29532 29532 17093 0 -1 4202560 10461 0 0 0 308 6 0 0 20 0 15 0 64041180 14316269568 37495 18446744073709551615 4194304 4196468 140723114994304 140291817794624 140291436590320 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29537] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29537/stat : 29537 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 37495 18446744073709551615 4194304 4196468 140723114994304 140291755505936 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29538] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29538/stat : 29538 (java) S 29532 29532 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 37495 18446744073709551615 4194304 4196468 140723114994304 140291754453392 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29539] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29539/stat : 29539 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 37495 18446744073709551615 4194304 4196468 140723114994304 140291753400848 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29540] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29540/stat : 29540 (java) S 29532 29532 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64041181 14316269568 37495 18446744073709551615 4194304 4196468 140723114994304 140291752348304 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29541] ppid=29532 vsize=13980732 memory=137836 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29541/stat : 29541 (java) S 29532 29532 17093 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 64041182 14316269568 37495 18446744073709551615 4194304 4196468 140723114994304 140291359312368 140291813571202 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29542] ppid=29532 vsize=13980732 memory=125104 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29542/stat : 29542 (java) S 29532 29532 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64041183 14316269568 37495 18446744073709551615 4194304 4196468 140723114994304 140291358258592 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29543] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29543/stat : 29543 (java) S 29532 29532 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64041183 14316269568 37495 18446744073709551615 4194304 4196468 140723114994304 140291357206000 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29544] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29544/stat : 29544 (java) S 29532 29532 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041186 14316269568 37495 18446744073709551615 4194304 4196468 140723114994304 140291356154576 140291813578651 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29545] ppid=29532 vsize=13980732 memory=255 CPUtime=2.63 cores=0,2,4,6
/proc/29535/task/29545/stat : 29545 (java) R 29532 29532 17093 0 -1 4202560 14303 0 0 0 261 2 0 0 20 0 15 0 64041186 14316269568 37495 18446744073709551615 4194304 4196468 140723114994304 140291355087392 140291791413344 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29546] ppid=29532 vsize=13980732 memory=257 CPUtime=2.68 cores=0,2,4,6
/proc/29535/task/29546/stat : 29546 (java) R 29532 29532 17093 0 -1 4202560 12433 0 0 0 267 1 0 0 20 0 15 0 64041186 14316269568 37495 18446744073709551615 4194304 4196468 140723114994304 140291354048624 140291813571990 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29547] ppid=29532 vsize=13980732 memory=49 CPUtime=0.5 cores=0,2,4,6
/proc/29535/task/29547/stat : 29547 (java) S 29532 29532 17093 0 -1 1077944384 4253 0 0 0 48 2 0 0 20 0 15 0 64041186 14316269568 37495 18446744073709551615 4194304 4196468 140723114994304 140291352996080 140291813571202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29548] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29548/stat : 29548 (java) S 29532 29532 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64041186 14316269568 37495 18446744073709551615 4194304 4196468 140723114994304 140291351943776 140291813570261 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
[pid=29535/tid=29550] ppid=29532 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29535/task/29550/stat : 29550 (java) S 29532 29532 17093 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 64041192 14316269568 37495 18446744073709551615 4194304 4196468 140723114994304 140291350891312 140291813571202 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32329728 140723114996151 140723114996326 140723114996326 140723114999759 0
Current children cumulated CPU time: 8.98 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 151360 KiB
Child status: 0
Real time (s): 3.59359
CPU time (s): 9.20002
CPU user time (s): 9.05621
CPU system time (s): 0.143816
CPU usage (%): 256.012
Max. virtual memory (cumulated for all children) (KiB): 13994700
Max. memory (cumulated for all children) (KiB): 151360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.05621
system time used= 0.143816
maximum resident set size= 152508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47309
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2254
involuntary context switches= 24
# summary of solver processes directly reported to runsolver:
# pid: 29532
# total CPU time (s): 9.20002
# total CPU user time (s): 9.05621
# total CPU system time (s): 0.143816
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038722 second user time and 0.084395 second system time
The end