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 (5577 MiB free)
memory of node 1: 16384 MiB (7007 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306965-1534104078/watcher-4306965-1534104078 -o /tmp/evaluation-result-4306965-1534104078/solver-4306965-1534104078 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534096142-24483 --watchdog 2580 HOME/xcsp3-exec -seed 1781351299 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306965-1534104078.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26476, runsolver pid=26473
[startup+0.10006 s]*
/proc/loadavg: 1.97 1.60 1.53 3/219 26492
/proc/meminfo: memFree=12870240/32770624 swapFree=67108860/67108860
[pid=26476] ppid=26473 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26476/stat : 26476 (xcsp3-exec) S 26473 26476 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970976 115843072 364 33554432000 4194304 5098028 140732767466880 140732767464984 139941522760316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32067584 140732767474746 140732767474948 140732767474948 140732767477706 0
/proc/26476/statm: 28282 364 306 221 0 87 0
[pid=26478] ppid=26476 vsize=14082940 memory=29020 CPUtime=0.12 cores=1,3,5,7
/proc/26478/stat : 26478 (java) S 26476 26476 24451 0 -1 1077944320 5623 0 0 0 11 1 0 0 20 0 15 0 227970977 14420930560 7255 33554432000 4194304 4196468 140727510428768 140727510411312 140271095090935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
/proc/26478/statm: 3520735 7255 3024 1 0 3483012 0
[pid=26478/tid=26479] ppid=26476 vsize=14082940 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/26478/task/26479/stat : 26479 (java) R 26476 26476 24451 0 -1 4202560 3624 0 0 0 8 0 0 0 20 0 15 0 227970977 14420930560 7255 33554432000 4194304 4196468 140727510428768 140271099323056 140271095102870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26480] ppid=26476 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26480/stat : 26480 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14420930560 7255 33554432000 4194304 4196468 140727510428768 140271025179024 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26481] ppid=26476 vsize=14082940 memory=140622747817600 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26481/stat : 26481 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14420930560 7255 33554432000 4194304 4196468 140727510428768 140271024126224 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26482] ppid=26476 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26482/stat : 26482 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14420930560 7255 33554432000 4194304 4196468 140727510428768 140271023073936 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26483] ppid=26476 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26483/stat : 26483 (java) S 26476 26476 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970978 14420930560 7255 33554432000 4194304 4196468 140727510428768 140271022021136 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26484] ppid=26476 vsize=14082940 memory=140622747817600 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26484/stat : 26484 (java) S 26476 26476 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970979 14420930560 7255 33554432000 4194304 4196468 140727510428768 140270568434288 140271095102082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26485] ppid=26476 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26485/stat : 26485 (java) S 26476 26476 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970979 14420930560 7255 33554432000 4194304 4196468 140727510428768 140270567380256 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26486] ppid=26476 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26486/stat : 26486 (java) S 26476 26476 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970980 14420930560 7255 33554432000 4194304 4196468 140727510428768 140270566327920 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26487] ppid=26476 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26487/stat : 26487 (java) S 26476 26476 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970982 14420930560 7255 33554432000 4194304 4196468 140727510428768 140270565276240 140271095109531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26488] ppid=26476 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26488/stat : 26488 (java) S 26476 26476 24451 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 227970982 14420930560 7255 33554432000 4194304 4196468 140727510428768 140270564223088 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26489] ppid=26476 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26489/stat : 26489 (java) S 26476 26476 24451 0 -1 1077944384 402 0 0 0 0 0 0 0 20 0 15 0 227970982 14420930560 7255 33554432000 4194304 4196468 140727510428768 140270563170288 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26490] ppid=26476 vsize=14082940 memory=140622747817600 CPUtime=0.01 cores=1,3,5,7
/proc/26478/task/26490/stat : 26490 (java) R 26476 26476 24451 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 227970982 14420930560 7255 33554432000 4194304 4196468 140727510428768 140270562118000 140271079278814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26491] ppid=26476 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26491/stat : 26491 (java) S 26476 26476 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970982 14420930560 7255 33554432000 4194304 4196468 140727510428768 140270561065440 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26492] ppid=26476 vsize=14082940 memory=140622747817600 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26492/stat : 26492 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970982 14420930560 7255 33554432000 4194304 4196468 140727510428768 140270560013232 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30476 KiB
[startup+0.210776 s]*
/proc/loadavg: 1.97 1.60 1.53 6/219 26492
/proc/meminfo: memFree=12858828/32770624 swapFree=67108860/67108860
[pid=26476] ppid=26473 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26476/stat : 26476 (xcsp3-exec) S 26473 26476 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970976 115843072 364 33554432000 4194304 5098028 140732767466880 140732767464984 139941522760316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32067584 140732767474746 140732767474948 140732767474948 140732767477706 0
/proc/26476/statm: 28282 364 306 221 0 87 0
[pid=26478] ppid=26476 vsize=14082940 memory=41220 CPUtime=0.34 cores=1,3,5,7
/proc/26478/stat : 26478 (java) S 26476 26476 24451 0 -1 1077944320 8339 0 0 0 32 2 0 0 20 0 15 0 227970977 14420930560 10305 33554432000 4194304 4196468 140727510428768 140727510411312 140271095090935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
/proc/26478/statm: 3520735 10305 3185 1 0 3483012 0
[pid=26478/tid=26479] ppid=26476 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/26478/task/26479/stat : 26479 (java) R 26476 26476 24451 0 -1 4202560 5456 0 0 0 19 1 0 0 20 0 15 0 227970977 14420930560 10305 33554432000 4194304 4196468 140727510428768 140271099325920 140271095112861 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26480] ppid=26476 vsize=14082940 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26480/stat : 26480 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14420930560 10305 33554432000 4194304 4196468 140727510428768 140271025179024 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26481] ppid=26476 vsize=14082940 memory=140622749038303 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26481/stat : 26481 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14420930560 10305 33554432000 4194304 4196468 140727510428768 140271024126224 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26482] ppid=26476 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26482/stat : 26482 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14420930560 10305 33554432000 4194304 4196468 140727510428768 140271023073936 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26483] ppid=26476 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26483/stat : 26483 (java) S 26476 26476 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970978 14420930560 10305 33554432000 4194304 4196468 140727510428768 140271022021136 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26484] ppid=26476 vsize=14082940 memory=140622747817600 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26484/stat : 26484 (java) S 26476 26476 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227970979 14420930560 10305 33554432000 4194304 4196468 140727510428768 140270568434288 140271095102082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26485] ppid=26476 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26485/stat : 26485 (java) S 26476 26476 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970979 14420930560 10305 33554432000 4194304 4196468 140727510428768 140270567380256 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26486] ppid=26476 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26486/stat : 26486 (java) S 26476 26476 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970980 14420930560 10305 33554432000 4194304 4196468 140727510428768 140270566327920 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26487] ppid=26476 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26487/stat : 26487 (java) S 26476 26476 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970982 14420930560 10305 33554432000 4194304 4196468 140727510428768 140270565276240 140271095109531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26488] ppid=26476 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26478/task/26488/stat : 26488 (java) S 26476 26476 24451 0 -1 1077944384 310 0 0 0 2 0 0 0 20 0 15 0 227970982 14420930560 10305 33554432000 4194304 4196468 140727510428768 140270564223088 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26489] ppid=26476 vsize=14082972 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26478/task/26489/stat : 26489 (java) S 26476 26476 24451 0 -1 1077944384 506 0 0 0 2 0 0 0 20 0 15 0 227970982 14420963328 10305 33554432000 4194304 4196468 140727510428768 140270563170288 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26490] ppid=26476 vsize=14082972 memory=140622747817600 CPUtime=0.08 cores=1,3,5,7
/proc/26478/task/26490/stat : 26490 (java) S 26476 26476 24451 0 -1 1077944384 758 0 0 0 8 0 0 0 20 0 15 0 227970982 14420963328 10305 33554432000 4194304 4196468 140727510428768 140270562118000 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26491] ppid=26476 vsize=14082972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26491/stat : 26491 (java) S 26476 26476 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970982 14420963328 10306 33554432000 4194304 4196468 140727510428768 140270561065440 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26492] ppid=26476 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26492/stat : 26492 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970982 14420930560 10306 33554432000 4194304 4196468 140727510428768 140270560013232 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42676 KiB
[startup+0.310808 s]*
/proc/loadavg: 1.97 1.60 1.53 4/219 26492
/proc/meminfo: memFree=12852004/32770624 swapFree=67108860/67108860
[pid=26476] ppid=26473 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26476/stat : 26476 (xcsp3-exec) S 26473 26476 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970976 115843072 364 33554432000 4194304 5098028 140732767466880 140732767464984 139941522760316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32067584 140732767474746 140732767474948 140732767474948 140732767477706 0
/proc/26476/statm: 28282 364 306 221 0 87 0
[pid=26478] ppid=26476 vsize=14087196 memory=48168 CPUtime=0.53 cores=1,3,5,7
/proc/26478/stat : 26478 (java) S 26476 26476 24451 0 -1 1077944320 9251 0 0 0 50 3 0 0 20 0 15 0 227970977 14425288704 12042 33554432000 4194304 4196468 140727510428768 140727510411312 140271095090935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
/proc/26478/statm: 3521799 12042 3235 1 0 3483012 0
[pid=26478/tid=26479] ppid=26476 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/26478/task/26479/stat : 26479 (java) R 26476 26476 24451 0 -1 4202560 6164 0 0 0 28 2 0 0 20 0 15 0 227970977 14425288704 12042 33554432000 4194304 4196468 140727510428768 140271099324720 140271079171452 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26480] ppid=26476 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26480/stat : 26480 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14425288704 12042 33554432000 4194304 4196468 140727510428768 140271025179024 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26481] ppid=26476 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26481/stat : 26481 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14425288704 12042 33554432000 4194304 4196468 140727510428768 140271024126224 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26482] ppid=26476 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26482/stat : 26482 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14425288704 12042 33554432000 4194304 4196468 140727510428768 140271023073936 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26483] ppid=26476 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26483/stat : 26483 (java) S 26476 26476 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970978 14425288704 12042 33554432000 4194304 4196468 140727510428768 140271022021136 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26484] ppid=26476 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26484/stat : 26484 (java) S 26476 26476 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227970979 14425288704 12042 33554432000 4194304 4196468 140727510428768 140270568434288 140271095102082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26485] ppid=26476 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26485/stat : 26485 (java) S 26476 26476 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970979 14425288704 12042 33554432000 4194304 4196468 140727510428768 140270567380256 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26486] ppid=26476 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26486/stat : 26486 (java) S 26476 26476 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970980 14425288704 12042 33554432000 4194304 4196468 140727510428768 140270566327920 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26487] ppid=26476 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26487/stat : 26487 (java) S 26476 26476 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970982 14425288704 12042 33554432000 4194304 4196468 140727510428768 140270565276240 140271095109531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26488] ppid=26476 vsize=14087196 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/26478/task/26488/stat : 26488 (java) S 26476 26476 24451 0 -1 1077944384 420 0 0 0 4 0 0 0 20 0 15 0 227970982 14425288704 12042 33554432000 4194304 4196468 140727510428768 140270564223088 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26489] ppid=26476 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/26478/task/26489/stat : 26489 (java) S 26476 26476 24451 0 -1 1077944384 523 0 0 0 4 0 0 0 20 0 15 0 227970982 14425288704 12042 33554432000 4194304 4196468 140727510428768 140270563170288 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26490] ppid=26476 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26478/task/26490/stat : 26490 (java) S 26476 26476 24451 0 -1 1077944384 837 0 0 0 12 0 0 0 20 0 15 0 227970982 14425288704 12042 33554432000 4194304 4196468 140727510428768 140270562118000 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26491] ppid=26476 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26491/stat : 26491 (java) S 26476 26476 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970982 14425288704 12042 33554432000 4194304 4196468 140727510428768 140270561065440 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26492] ppid=26476 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26492/stat : 26492 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970982 14425288704 12042 33554432000 4194304 4196468 140727510428768 140270560013232 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49624 KiB
[startup+0.70076 s]
/proc/loadavg: 1.97 1.60 1.53 6/219 26492
/proc/meminfo: memFree=12824460/32770624 swapFree=67108860/67108860
[pid=26476] ppid=26473 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26476/stat : 26476 (xcsp3-exec) S 26473 26476 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970976 115843072 364 33554432000 4194304 5098028 140732767466880 140732767464984 139941522760316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32067584 140732767474746 140732767474948 140732767474948 140732767477706 0
/proc/26476/statm: 28282 364 306 221 0 87 0
[pid=26478] ppid=26476 vsize=14089320 memory=108892 CPUtime=1.82 cores=1,3,5,7
/proc/26478/stat : 26478 (java) S 26476 26476 24451 0 -1 1077944320 13266 0 0 0 177 5 0 0 20 0 15 0 227970977 14427463680 27223 33554432000 4194304 4196468 140727510428768 140727510411312 140271095090935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
/proc/26478/statm: 3522330 27223 3355 1 0 3483524 0
[pid=26478/tid=26479] ppid=26476 vsize=14089320 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/26478/task/26479/stat : 26479 (java) R 26476 26476 24451 0 -1 4202560 6899 0 0 0 64 3 0 0 20 0 15 0 227970977 14427463680 27223 33554432000 4194304 4196468 140727510428768 140271099329264 140271095102870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26480] ppid=26476 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26480/stat : 26480 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 27223 33554432000 4194304 4196468 140727510428768 140271025179024 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26481] ppid=26476 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26481/stat : 26481 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 27223 33554432000 4194304 4196468 140727510428768 140271024126224 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26482] ppid=26476 vsize=14089320 memory=61880 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26482/stat : 26482 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 27223 33554432000 4194304 4196468 140727510428768 140271023073936 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26483] ppid=26476 vsize=14089320 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26483/stat : 26483 (java) S 26476 26476 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 27223 33554432000 4194304 4196468 140727510428768 140271022021136 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26484] ppid=26476 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26484/stat : 26484 (java) S 26476 26476 24451 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 227970979 14427463680 27223 33554432000 4194304 4196468 140727510428768 140270568434288 140271095102082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26485] ppid=26476 vsize=14089320 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26485/stat : 26485 (java) S 26476 26476 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970979 14427463680 27223 33554432000 4194304 4196468 140727510428768 140270567380256 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26486] ppid=26476 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26486/stat : 26486 (java) S 26476 26476 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970980 14427463680 27223 33554432000 4194304 4196468 140727510428768 140270566327920 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26487] ppid=26476 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26487/stat : 26487 (java) S 26476 26476 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970982 14427463680 27223 33554432000 4194304 4196468 140727510428768 140270565276240 140271095109531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26488] ppid=26476 vsize=14089320 memory=5408 CPUtime=0.33 cores=1,3,5,7
/proc/26478/task/26488/stat : 26488 (java) R 26476 26476 24451 0 -1 1077944384 1505 0 0 0 33 0 0 0 20 0 15 0 227970982 14427463680 27223 33554432000 4194304 4196468 140727510428768 140270564223088 140271095102082 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26489] ppid=26476 vsize=14089320 memory=876 CPUtime=0.39 cores=1,3,5,7
/proc/26478/task/26489/stat : 26489 (java) R 26476 26476 24451 0 -1 4202560 1562 0 0 0 39 0 0 0 20 0 15 0 227970982 14427463680 27223 33554432000 4194304 4196468 140727510428768 140270563170288 140271079986952 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26490] ppid=26476 vsize=14089320 memory=10096 CPUtime=0.39 cores=1,3,5,7
/proc/26478/task/26490/stat : 26490 (java) R 26476 26476 24451 0 -1 4202560 1991 0 0 0 39 0 0 0 20 0 15 0 227970982 14427463680 27223 33554432000 4194304 4196468 140727510428768 140270562109824 140271074045272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26491] ppid=26476 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26491/stat : 26491 (java) S 26476 26476 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970982 14427463680 27223 33554432000 4194304 4196468 140727510428768 140270561065440 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26492] ppid=26476 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26492/stat : 26492 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970982 14427463680 27223 33554432000 4194304 4196468 140727510428768 140270560013232 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 110348 KiB
[startup+1.50089 s]
/proc/loadavg: 1.97 1.60 1.53 5/219 26492
/proc/meminfo: memFree=12775892/32770624 swapFree=67108860/67108860
[pid=26476] ppid=26473 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26476/stat : 26476 (xcsp3-exec) S 26473 26476 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970976 115843072 364 33554432000 4194304 5098028 140732767466880 140732767464984 139941522760316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32067584 140732767474746 140732767474948 140732767474948 140732767477706 0
/proc/26476/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/26476/stat : 26476 (xcsp3-exec) S 26473 26476 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970976 115843072 364 33554432000 4194304 5098028 140732767466880 140732767464984 139941522760316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32067584 140732767474746 140732767474948 140732767474948 140732767477706 0
/proc/26476/statm: 28282 364 306 221 0 87 0
[pid=26478] ppid=26476 vsize=14089320 memory=173812 CPUtime=11.71 cores=1,3,5,7
/proc/26478/stat : 26478 (java) S 26476 26476 24451 0 -1 1077944320 29988 0 0 0 1162 9 0 0 20 0 15 0 227970977 14427463680 43453 33554432000 4194304 4196468 140727510428768 140727510411312 140271095090935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
/proc/26478/statm: 3522330 43453 3388 1 0 3483524 0
[pid=26478/tid=26479] ppid=26476 vsize=14089320 memory=34420 CPUtime=6.37 cores=1,3,5,7
/proc/26478/task/26479/stat : 26479 (java) R 26476 26476 24451 0 -1 4202560 8611 0 0 0 633 4 0 0 20 0 15 0 227970977 14427463680 43453 33554432000 4194304 4196468 140727510428768 140271099327928 140270701865149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26480] ppid=26476 vsize=14089320 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26480/stat : 26480 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 43453 33554432000 4194304 4196468 140727510428768 140271025179024 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26481] ppid=26476 vsize=14089320 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26481/stat : 26481 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 43453 33554432000 4194304 4196468 140727510428768 140271024126224 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26482] ppid=26476 vsize=14089320 memory=636 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26482/stat : 26482 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 43453 33554432000 4194304 4196468 140727510428768 140271023073936 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26483] ppid=26476 vsize=14089320 memory=960 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26483/stat : 26483 (java) S 26476 26476 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 43453 33554432000 4194304 4196468 140727510428768 140271022021136 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26484] ppid=26476 vsize=14089320 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26484/stat : 26484 (java) S 26476 26476 24451 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 15 0 227970979 14427463680 43453 33554432000 4194304 4196468 140727510428768 140270568434288 140271095102082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26485] ppid=26476 vsize=14089320 memory=169716 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26485/stat : 26485 (java) S 26476 26476 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970979 14427463680 43453 33554432000 4194304 4196468 140727510428768 140270567380256 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26486] ppid=26476 vsize=14089320 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26486/stat : 26486 (java) S 26476 26476 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970980 14427463680 43453 33554432000 4194304 4196468 140727510428768 140270566327920 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26487] ppid=26476 vsize=14089320 memory=61880 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26487/stat : 26487 (java) S 26476 26476 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970982 14427463680 43453 33554432000 4194304 4196468 140727510428768 140270565276240 140271095109531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26488] ppid=26476 vsize=14089320 memory=1240 CPUtime=2.14 cores=1,3,5,7
/proc/26478/task/26488/stat : 26488 (java) S 26476 26476 24451 0 -1 1077944384 6997 0 0 0 213 1 0 0 20 0 15 0 227970982 14427463680 43453 33554432000 4194304 4196468 140727510428768 140270564223088 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26489] ppid=26476 vsize=14089320 memory=2416 CPUtime=2.49 cores=1,3,5,7
/proc/26478/task/26489/stat : 26489 (java) S 26476 26476 24451 0 -1 1077944384 8114 0 0 0 248 1 0 0 20 0 15 0 227970982 14427463680 43453 33554432000 4194304 4196468 140727510428768 140270563170288 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26490] ppid=26476 vsize=14089320 memory=1796 CPUtime=0.68 cores=1,3,5,7
/proc/26478/task/26490/stat : 26490 (java) S 26476 26476 24451 0 -1 1077944384 4198 0 0 0 67 1 0 0 20 0 15 0 227970982 14427463680 43453 33554432000 4194304 4196468 140727510428768 140270562118000 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26491] ppid=26476 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26491/stat : 26491 (java) S 26476 26476 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970982 14427463680 43453 33554432000 4194304 4196468 140727510428768 140270561065440 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26492] ppid=26476 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26492/stat : 26492 (java) S 26476 26476 24451 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 15 0 227970982 14427463680 43453 33554432000 4194304 4196468 140727510428768 140270560013232 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
Current children cumulated CPU time: 11.71 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 175268 KiB
[startup+7.20071 s]
/proc/loadavg: 2.20 1.66 1.55 3/219 26492
/proc/meminfo: memFree=12717256/32770624 swapFree=67108860/67108860
[pid=26476] ppid=26473 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26476/stat : 26476 (xcsp3-exec) S 26473 26476 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970976 115843072 364 33554432000 4194304 5098028 140732767466880 140732767464984 139941522760316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32067584 140732767474746 140732767474948 140732767474948 140732767477706 0
/proc/26476/statm: 28282 364 306 221 0 87 0
[pid=26478] ppid=26476 vsize=14089320 memory=184052 CPUtime=12.52 cores=1,3,5,7
/proc/26478/stat : 26478 (java) S 26476 26476 24451 0 -1 1077944320 30041 0 0 0 1243 9 0 0 20 0 15 0 227970977 14427463680 46013 33554432000 4194304 4196468 140727510428768 140727510411312 140271095090935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
/proc/26478/statm: 3522330 46013 3388 1 0 3483524 0
[pid=26478/tid=26479] ppid=26476 vsize=14089320 memory=6791534058613427641 CPUtime=7.16 cores=1,3,5,7
/proc/26478/task/26479/stat : 26479 (java) R 26476 26476 24451 0 -1 4202560 8628 0 0 0 712 4 0 0 20 0 15 0 227970977 14427463680 46013 33554432000 4194304 4196468 140727510428768 140271099328160 140270702401549 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26480] ppid=26476 vsize=14089320 memory=61880 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26480/stat : 26480 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 46013 33554432000 4194304 4196468 140727510428768 140271025179024 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26481] ppid=26476 vsize=14089320 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26481/stat : 26481 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 46013 33554432000 4194304 4196468 140727510428768 140271024126224 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26482] ppid=26476 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26482/stat : 26482 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 46013 33554432000 4194304 4196468 140727510428768 140271023073936 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26483] ppid=26476 vsize=14089320 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26483/stat : 26483 (java) S 26476 26476 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 46013 33554432000 4194304 4196468 140727510428768 140271022021136 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26484] ppid=26476 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26484/stat : 26484 (java) S 26476 26476 24451 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 227970979 14427463680 46013 33554432000 4194304 4196468 140727510428768 140270568434288 140271095102082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26485] ppid=26476 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26485/stat : 26485 (java) S 26476 26476 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970979 14427463680 46013 33554432000 4194304 4196468 140727510428768 140270567380256 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26486] ppid=26476 vsize=14089320 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26486/stat : 26486 (java) S 26476 26476 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970980 14427463680 46013 33554432000 4194304 4196468 140727510428768 140270566327920 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26487] ppid=26476 vsize=14089320 memory=876 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26487/stat : 26487 (java) S 26476 26476 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970982 14427463680 46013 33554432000 4194304 4196468 140727510428768 140270565276240 140271095109531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26488] ppid=26476 vsize=14089320 memory=10096 CPUtime=2.14 cores=1,3,5,7
/proc/26478/task/26488/stat : 26488 (java) S 26476 26476 24451 0 -1 1077944384 7003 0 0 0 213 1 0 0 20 0 15 0 227970982 14427463680 46013 33554432000 4194304 4196468 140727510428768 140270564223088 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26489] ppid=26476 vsize=14089320 memory=1228 CPUtime=2.49 cores=1,3,5,7
/proc/26478/task/26489/stat : 26489 (java) S 26476 26476 24451 0 -1 1077944384 8122 0 0 0 248 1 0 0 20 0 15 0 227970982 14427463680 46013 33554432000 4194304 4196468 140727510428768 140270563170288 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26490] ppid=26476 vsize=14089320 memory=1952 CPUtime=0.68 cores=1,3,5,7
/proc/26478/task/26490/stat : 26490 (java) S 26476 26476 24451 0 -1 1077944384 4198 0 0 0 67 1 0 0 20 0 15 0 227970982 14427463680 46013 33554432000 4194304 4196468 140727510428768 140270562118000 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26491] ppid=26476 vsize=14089320 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26491/stat : 26491 (java) S 26476 26476 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970982 14427463680 46013 33554432000 4194304 4196468 140727510428768 140270561065440 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26492] ppid=26476 vsize=14089320 memory=10828 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26492/stat : 26492 (java) S 26476 26476 24451 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 15 0 227970982 14427463680 46013 33554432000 4194304 4196468 140727510428768 140270560013232 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 185508 KiB
[startup+7.40065 s]
/proc/loadavg: 2.20 1.66 1.55 3/219 26492
/proc/meminfo: memFree=12717256/32770624 swapFree=67108860/67108860
[pid=26476] ppid=26473 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26476/stat : 26476 (xcsp3-exec) S 26473 26476 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970976 115843072 364 33554432000 4194304 5098028 140732767466880 140732767464984 139941522760316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32067584 140732767474746 140732767474948 140732767474948 140732767477706 0
/proc/26476/statm: 28282 364 306 221 0 87 0
[pid=26478] ppid=26476 vsize=14089320 memory=184052 CPUtime=12.72 cores=1,3,5,7
/proc/26478/stat : 26478 (java) S 26476 26476 24451 0 -1 1077944320 30041 0 0 0 1263 9 0 0 20 0 15 0 227970977 14427463680 46013 33554432000 4194304 4196468 140727510428768 140727510411312 140271095090935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
/proc/26478/statm: 3522330 46013 3388 1 0 3483524 0
[pid=26478/tid=26479] ppid=26476 vsize=14089320 memory=15880 CPUtime=7.36 cores=1,3,5,7
/proc/26478/task/26479/stat : 26479 (java) R 26476 26476 24451 0 -1 4202560 8628 0 0 0 732 4 0 0 20 0 15 0 227970977 14427463680 46013 33554432000 4194304 4196468 140727510428768 140271099328160 140270702699792 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26480] ppid=26476 vsize=14089320 memory=16228 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26480/stat : 26480 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 46013 33554432000 4194304 4196468 140727510428768 140271025179024 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26481] ppid=26476 vsize=14089320 memory=34420 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26481/stat : 26481 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 46013 33554432000 4194304 4196468 140727510428768 140271024126224 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26482] ppid=26476 vsize=14089320 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26482/stat : 26482 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 46013 33554432000 4194304 4196468 140727510428768 140271023073936 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26483] ppid=26476 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26483/stat : 26483 (java) S 26476 26476 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 46013 33554432000 4194304 4196468 140727510428768 140271022021136 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26484] ppid=26476 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26484/stat : 26484 (java) S 26476 26476 24451 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 227970979 14427463680 46013 33554432000 4194304 4196468 140727510428768 140270568434288 140271095102082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26485] ppid=26476 vsize=14089320 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26485/stat : 26485 (java) S 26476 26476 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970979 14427463680 46013 33554432000 4194304 4196468 140727510428768 140270567380256 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26486] ppid=26476 vsize=14089320 memory=10828 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26486/stat : 26486 (java) S 26476 26476 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970980 14427463680 46013 33554432000 4194304 4196468 140727510428768 140270566327920 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26487] ppid=26476 vsize=14089320 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26487/stat : 26487 (java) S 26476 26476 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970982 14427463680 46013 33554432000 4194304 4196468 140727510428768 140270565276240 140271095109531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26488] ppid=26476 vsize=14089320 memory=1428 CPUtime=2.14 cores=1,3,5,7
/proc/26478/task/26488/stat : 26488 (java) S 26476 26476 24451 0 -1 1077944384 7003 0 0 0 213 1 0 0 20 0 15 0 227970982 14427463680 46013 33554432000 4194304 4196468 140727510428768 140270564223088 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26489] ppid=26476 vsize=14089320 memory=15880 CPUtime=2.49 cores=1,3,5,7
/proc/26478/task/26489/stat : 26489 (java) S 26476 26476 24451 0 -1 1077944384 8122 0 0 0 248 1 0 0 20 0 15 0 227970982 14427463680 46013 33554432000 4194304 4196468 140727510428768 140270563170288 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26490] ppid=26476 vsize=14089320 memory=16228 CPUtime=0.68 cores=1,3,5,7
/proc/26478/task/26490/stat : 26490 (java) S 26476 26476 24451 0 -1 1077944384 4198 0 0 0 67 1 0 0 20 0 15 0 227970982 14427463680 46013 33554432000 4194304 4196468 140727510428768 140270562118000 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26491] ppid=26476 vsize=14089320 memory=34420 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26491/stat : 26491 (java) S 26476 26476 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970982 14427463680 46013 33554432000 4194304 4196468 140727510428768 140270561065440 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26492] ppid=26476 vsize=14089320 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26492/stat : 26492 (java) S 26476 26476 24451 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 15 0 227970982 14427463680 46013 33554432000 4194304 4196468 140727510428768 140270560013232 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
Current children cumulated CPU time: 12.72 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 185508 KiB
[startup+7.50071 s]
/proc/loadavg: 2.20 1.66 1.55 3/219 26492
/proc/meminfo: memFree=12717256/32770624 swapFree=67108860/67108860
[pid=26476] ppid=26473 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26476/stat : 26476 (xcsp3-exec) S 26473 26476 24451 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 227970976 115843072 364 33554432000 4194304 5098028 140732767466880 140732767464984 139941522760316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32067584 140732767474746 140732767474948 140732767474948 140732767477706 0
/proc/26476/statm: 28282 364 306 221 0 87 0
[pid=26478] ppid=26476 vsize=14089320 memory=186116 CPUtime=12.85 cores=1,3,5,7
/proc/26478/stat : 26478 (java) S 26476 26476 24451 0 -1 1077944320 30175 0 0 0 1276 9 0 0 20 0 15 0 227970977 14427463680 46529 33554432000 4194304 4196468 140727510428768 140727510411312 140271095090935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
/proc/26478/statm: 3522330 46529 3388 1 0 3483524 0
[pid=26478/tid=26479] ppid=26476 vsize=14089320 memory=0 CPUtime=7.47 cores=1,3,5,7
/proc/26478/task/26479/stat : 26479 (java) R 26476 26476 24451 0 -1 4202560 8630 0 0 0 743 4 0 0 20 0 15 0 227970977 14427463680 46529 33554432000 4194304 4196468 140727510428768 140271099328160 140270702220077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26480] ppid=26476 vsize=14089320 memory=184052 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26480/stat : 26480 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 46529 33554432000 4194304 4196468 140727510428768 140271025179024 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26481] ppid=26476 vsize=14089320 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26481/stat : 26481 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 46529 33554432000 4194304 4196468 140727510428768 140271024126224 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26482] ppid=26476 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26482/stat : 26482 (java) S 26476 26476 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 46529 33554432000 4194304 4196468 140727510428768 140271023073936 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26483] ppid=26476 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26483/stat : 26483 (java) S 26476 26476 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227970978 14427463680 46529 33554432000 4194304 4196468 140727510428768 140271022021136 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26484] ppid=26476 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26484/stat : 26484 (java) S 26476 26476 24451 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 227970979 14427463680 46529 33554432000 4194304 4196468 140727510428768 140270568434288 140271095102082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26485] ppid=26476 vsize=14089320 memory=920 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26485/stat : 26485 (java) S 26476 26476 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227970979 14427463680 46529 33554432000 4194304 4196468 140727510428768 140270567380256 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26486] ppid=26476 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26486/stat : 26486 (java) S 26476 26476 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227970980 14427463680 46529 33554432000 4194304 4196468 140727510428768 140270566327920 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26487] ppid=26476 vsize=14089320 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26487/stat : 26487 (java) S 26476 26476 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970982 14427463680 46529 33554432000 4194304 4196468 140727510428768 140270565276240 140271095109531 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26488] ppid=26476 vsize=14089320 memory=876 CPUtime=2.14 cores=1,3,5,7
/proc/26478/task/26488/stat : 26488 (java) S 26476 26476 24451 0 -1 1077944384 7003 0 0 0 213 1 0 0 20 0 15 0 227970982 14427463680 46529 33554432000 4194304 4196468 140727510428768 140270564223088 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26489] ppid=26476 vsize=14089320 memory=10096 CPUtime=2.52 cores=1,3,5,7
/proc/26478/task/26489/stat : 26489 (java) S 26476 26476 24451 0 -1 1077944384 8254 0 0 0 251 1 0 0 20 0 15 0 227970982 14427463680 46529 33554432000 4194304 4196468 140727510428768 140270563170288 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26490] ppid=26476 vsize=14089320 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/26478/task/26490/stat : 26490 (java) S 26476 26476 24451 0 -1 1077944384 4198 0 0 0 67 1 0 0 20 0 15 0 227970982 14427463680 46529 33554432000 4194304 4196468 140727510428768 140270562118000 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26491] ppid=26476 vsize=14089320 memory=8377424916951425120 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26491/stat : 26491 (java) S 26476 26476 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227970982 14427463680 46529 33554432000 4194304 4196468 140727510428768 140270561065440 140271095101141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
[pid=26478/tid=26492] ppid=26476 vsize=14089320 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/26478/task/26492/stat : 26492 (java) S 26476 26476 24451 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 15 0 227970982 14427463680 46529 33554432000 4194304 4196468 140727510428768 140270560013232 140271095102082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21516288 140727510430854 140727510431025 140727510431025 140727510433743 0
Current children cumulated CPU time: 12.85 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 187572 KiB
Child status: 0
Real time (s): 7.58347
CPU time (s): 12.9375
CPU user time (s): 12.8368
CPU system time (s): 0.100706
CPU usage (%): 170.601
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 187572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.8368
system time used= 0.100706
maximum resident set size= 188516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31389
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= 2340
involuntary context switches= 52
# summary of solver processes directly reported to runsolver:
# pid: 26476
# total CPU time (s): 12.9375
# total CPU user time (s): 12.8368
# total CPU system time (s): 0.100706
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077328 second user time and 0.108351 second system time
The end