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 (864 MiB free)
memory of node 1: 16384 MiB (1629 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403464-1568988862/watcher-4403464-1568988862 -o /tmp/evaluation-result-4403464-1568988862/solver-4403464-1568988862 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30878 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1396502724 HOME/instance-4403464-1568988862.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=32367, runsolver pid=32364
Current StackSize limit: 8192 KiB
[startup+0.101285 s]*
/proc/loadavg: 8.65 8.44 5.94 6/231 32383
/proc/meminfo: memFree=2537528/32770624 swapFree=66938892/67108860
[pid=32367] ppid=32364 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32367/stat : 32367 (xcsp3-exec) S 32364 32367 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475156030 115843072 363 33554432000 4194304 5098028 140731295026224 140731295024328 140667409830524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24281088 140731295032186 140731295032429 140731295032429 140731295035338 0
/proc/32367/statm: 28282 363 304 221 0 87 0
[pid=32369] ppid=32367 vsize=15144776 memory=29128 CPUtime=0.14 cores=1,3,5,7
/proc/32369/stat : 32369 (java) S 32367 32367 30846 0 -1 1077944320 5725 0 0 0 13 1 0 0 20 0 15 0 475156030 15508250624 7282 33554432000 4194304 4196468 140721944345680 140721944328224 139790138715895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
/proc/32369/statm: 3786194 7282 3180 1 0 3748377 0
[pid=32369/tid=32370] ppid=32367 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/32369/task/32370/stat : 32370 (java) R 32367 32367 30846 0 -1 4202560 3612 0 0 0 9 0 0 0 20 0 15 0 475156030 15508250624 7282 33554432000 4194304 4196468 140721944345680 139790142946080 139790130953022 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32371] ppid=32367 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32371/stat : 32371 (java) S 32367 32367 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475156031 15508250624 7282 33554432000 4194304 4196468 140721944345680 139790050372624 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32372] ppid=32367 vsize=15144776 memory=140009756386944 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32372/stat : 32372 (java) S 32367 32367 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156031 15508250624 7282 33554432000 4194304 4196468 140721944345680 139790049320080 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32373] ppid=32367 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32373/stat : 32373 (java) S 32367 32367 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156031 15508250624 7282 33554432000 4194304 4196468 140721944345680 139790048267024 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32374] ppid=32367 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32374/stat : 32374 (java) S 32367 32367 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156031 15508250624 7282 33554432000 4194304 4196468 140721944345680 139790047214480 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32375] ppid=32367 vsize=15144776 memory=140009756386944 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32375/stat : 32375 (java) S 32367 32367 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475156033 15508250624 7282 33554432000 4194304 4196468 140721944345680 139789607381232 139790138727042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32376] ppid=32367 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32376/stat : 32376 (java) S 32367 32367 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475156033 15508250624 7282 33554432000 4194304 4196468 140721944345680 139789606327456 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32377] ppid=32367 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32377/stat : 32377 (java) S 32367 32367 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475156033 15508250624 7282 33554432000 4194304 4196468 140721944345680 139789605274352 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32378] ppid=32367 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32378/stat : 32378 (java) S 32367 32367 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475156036 15508250624 7282 33554432000 4194304 4196468 140721944345680 139789604222928 139790138734491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32379] ppid=32367 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32379/stat : 32379 (java) R 32367 32367 30846 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 15 0 475156036 15508250624 7282 33554432000 4194304 4196468 140721944345680 139789603171056 139790138727042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32380] ppid=32367 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32380/stat : 32380 (java) S 32367 32367 30846 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 15 0 475156036 15508250624 7282 33554432000 4194304 4196468 140721944345680 139789602118512 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32381] ppid=32367 vsize=15144776 memory=140009756386944 CPUtime=0.02 cores=1,3,5,7
/proc/32369/task/32381/stat : 32381 (java) R 32367 32367 30846 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 475156036 15508250624 7282 33554432000 4194304 4196468 140721944345680 139789601065456 139790117684496 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32382] ppid=32367 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32382/stat : 32382 (java) S 32367 32367 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475156036 15508250624 7282 33554432000 4194304 4196468 140721944345680 139789600013152 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32383] ppid=32367 vsize=15144776 memory=140009756386944 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32383/stat : 32383 (java) S 32367 32367 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156036 15508250624 7282 33554432000 4194304 4196468 140721944345680 139789598960176 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30580 KiB
[startup+0.21223 s]*
/proc/loadavg: 8.65 8.44 5.94 6/231 32383
/proc/meminfo: memFree=2525136/32770624 swapFree=66938892/67108860
[pid=32367] ppid=32364 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32367/stat : 32367 (xcsp3-exec) S 32364 32367 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475156030 115843072 363 33554432000 4194304 5098028 140731295026224 140731295024328 140667409830524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24281088 140731295032186 140731295032429 140731295032429 140731295035338 0
/proc/32367/statm: 28282 363 304 221 0 87 0
[pid=32369] ppid=32367 vsize=15144776 memory=40272 CPUtime=0.35 cores=1,3,5,7
/proc/32369/stat : 32369 (java) S 32367 32367 30846 0 -1 1077944320 9312 0 0 0 32 3 0 0 20 0 15 0 475156030 15508250624 10068 33554432000 4194304 4196468 140721944345680 140721944328224 139790138715895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
/proc/32369/statm: 3786194 10068 3270 1 0 3748377 0
[pid=32369/tid=32370] ppid=32367 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/32369/task/32370/stat : 32370 (java) R 32367 32367 30846 0 -1 4202560 6594 0 0 0 18 2 0 0 20 0 15 0 475156030 15508250624 10068 33554432000 4194304 4196468 140721944345680 139790142950880 139790138727830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32371] ppid=32367 vsize=15144776 memory=12641 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32371/stat : 32371 (java) S 32367 32367 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475156031 15508250624 10068 33554432000 4194304 4196468 140721944345680 139790050372624 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32372] ppid=32367 vsize=15144776 memory=4121270326372820640 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32372/stat : 32372 (java) S 32367 32367 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156031 15508250624 10068 33554432000 4194304 4196468 140721944345680 139790049320080 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32373] ppid=32367 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32373/stat : 32373 (java) S 32367 32367 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156031 15508250624 10068 33554432000 4194304 4196468 140721944345680 139790048267024 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32374] ppid=32367 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32374/stat : 32374 (java) S 32367 32367 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156031 15508250624 10068 33554432000 4194304 4196468 140721944345680 139790047214480 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32375] ppid=32367 vsize=15144776 memory=140009756386944 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32375/stat : 32375 (java) S 32367 32367 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475156033 15508250624 10068 33554432000 4194304 4196468 140721944345680 139789607381232 139790138727042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32376] ppid=32367 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32376/stat : 32376 (java) S 32367 32367 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475156033 15508250624 10068 33554432000 4194304 4196468 140721944345680 139789606327456 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32377] ppid=32367 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32377/stat : 32377 (java) S 32367 32367 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475156033 15508250624 10068 33554432000 4194304 4196468 140721944345680 139789605274352 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32378] ppid=32367 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32378/stat : 32378 (java) S 32367 32367 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475156036 15508250624 10068 33554432000 4194304 4196468 140721944345680 139789604222928 139790138734491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32379] ppid=32367 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32369/task/32379/stat : 32379 (java) S 32367 32367 30846 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 15 0 475156036 15508250624 10068 33554432000 4194304 4196468 140721944345680 139789603171056 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32380] ppid=32367 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32369/task/32380/stat : 32380 (java) S 32367 32367 30846 0 -1 1077944384 221 0 0 0 2 0 0 0 20 0 15 0 475156036 15508250624 10068 33554432000 4194304 4196468 140721944345680 139789602118512 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32381] ppid=32367 vsize=15144776 memory=140009756386944 CPUtime=0.07 cores=1,3,5,7
/proc/32369/task/32381/stat : 32381 (java) R 32367 32367 30846 0 -1 4202560 803 0 0 0 7 0 0 0 20 0 15 0 475156036 15508250624 10068 33554432000 4194304 4196468 140721944345680 139789601065456 139790117634623 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32382] ppid=32367 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32382/stat : 32382 (java) S 32367 32367 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475156036 15508250624 10068 33554432000 4194304 4196468 140721944345680 139789600013152 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32383] ppid=32367 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32383/stat : 32383 (java) S 32367 32367 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156036 15508250624 10068 33554432000 4194304 4196468 140721944345680 139789598960176 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41724 KiB
[startup+0.310606 s]*
/proc/loadavg: 8.65 8.44 5.94 7/231 32383
/proc/meminfo: memFree=2517132/32770624 swapFree=66938892/67108860
[pid=32367] ppid=32364 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32367/stat : 32367 (xcsp3-exec) S 32364 32367 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475156030 115843072 363 33554432000 4194304 5098028 140731295026224 140731295024328 140667409830524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24281088 140731295032186 140731295032429 140731295032429 140731295035338 0
/proc/32367/statm: 28282 363 304 221 0 87 0
[pid=32369] ppid=32367 vsize=15149032 memory=50152 CPUtime=0.53 cores=1,3,5,7
/proc/32369/stat : 32369 (java) S 32367 32367 30846 0 -1 1077944320 10846 0 0 0 49 4 0 0 20 0 15 0 475156030 15512608768 12538 33554432000 4194304 4196468 140721944345680 140721944328224 139790138715895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
/proc/32369/statm: 3787258 12538 3372 1 0 3748377 0
[pid=32369/tid=32370] ppid=32367 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/32369/task/32370/stat : 32370 (java) R 32367 32367 30846 0 -1 4202560 7800 0 0 0 27 3 0 0 20 0 15 0 475156030 15512608768 12538 33554432000 4194304 4196468 140721944345680 139790142947008 139790122796382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32371] ppid=32367 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32371/stat : 32371 (java) S 32367 32367 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475156031 15512608768 12538 33554432000 4194304 4196468 140721944345680 139790050372624 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32372] ppid=32367 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32372/stat : 32372 (java) S 32367 32367 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156031 15512608768 12538 33554432000 4194304 4196468 140721944345680 139790049320080 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32373] ppid=32367 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32373/stat : 32373 (java) S 32367 32367 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156031 15512608768 12538 33554432000 4194304 4196468 140721944345680 139790048267024 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32374] ppid=32367 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32374/stat : 32374 (java) S 32367 32367 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156031 15512608768 12538 33554432000 4194304 4196468 140721944345680 139790047214480 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32375] ppid=32367 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32375/stat : 32375 (java) S 32367 32367 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475156033 15512608768 12538 33554432000 4194304 4196468 140721944345680 139789607381232 139790138727042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32376] ppid=32367 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32376/stat : 32376 (java) S 32367 32367 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475156033 15512608768 12538 33554432000 4194304 4196468 140721944345680 139789606327456 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32377] ppid=32367 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32377/stat : 32377 (java) S 32367 32367 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475156033 15512608768 12538 33554432000 4194304 4196468 140721944345680 139789605274352 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32378] ppid=32367 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32378/stat : 32378 (java) S 32367 32367 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475156036 15512608768 12538 33554432000 4194304 4196468 140721944345680 139789604222928 139790138734491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32379] ppid=32367 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/32369/task/32379/stat : 32379 (java) S 32367 32367 30846 0 -1 1077944384 501 0 0 0 5 0 0 0 20 0 15 0 475156036 15512608768 12538 33554432000 4194304 4196468 140721944345680 139789603171056 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32380] ppid=32367 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32369/task/32380/stat : 32380 (java) S 32367 32367 30846 0 -1 1077944384 271 0 0 0 3 0 0 0 20 0 15 0 475156036 15512608768 12538 33554432000 4194304 4196468 140721944345680 139789602118512 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32381] ppid=32367 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/32369/task/32381/stat : 32381 (java) S 32367 32367 30846 0 -1 1077944384 970 0 0 0 12 0 0 0 20 0 15 0 475156036 15512608768 12538 33554432000 4194304 4196468 140721944345680 139789601065456 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32382] ppid=32367 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32382/stat : 32382 (java) S 32367 32367 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475156036 15512608768 12538 33554432000 4194304 4196468 140721944345680 139789600013152 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32383] ppid=32367 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32383/stat : 32383 (java) S 32367 32367 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156036 15512608768 12538 33554432000 4194304 4196468 140721944345680 139789598960176 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51604 KiB
[startup+0.701266 s]
/proc/loadavg: 8.65 8.44 5.94 10/231 32383
/proc/meminfo: memFree=2375376/32770624 swapFree=66938892/67108860
[pid=32367] ppid=32364 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32367/stat : 32367 (xcsp3-exec) S 32364 32367 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475156030 115843072 363 33554432000 4194304 5098028 140731295026224 140731295024328 140667409830524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24281088 140731295032186 140731295032429 140731295032429 140731295035338 0
/proc/32367/statm: 28282 363 304 221 0 87 0
[pid=32369] ppid=32367 vsize=15149108 memory=299544 CPUtime=1.45 cores=1,3,5,7
/proc/32369/stat : 32369 (java) S 32367 32367 30846 0 -1 1077944320 14640 0 0 0 120 25 0 0 20 0 15 0 475156030 15512686592 74886 33554432000 4194304 4196468 140721944345680 140721944328224 139790138715895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
/proc/32369/statm: 3787277 74886 3446 1 0 3748377 0
[pid=32369/tid=32370] ppid=32367 vsize=15149108 memory=53488 CPUtime=0.61 cores=1,3,5,7
/proc/32369/task/32370/stat : 32370 (java) R 32367 32367 30846 0 -1 4202560 8315 0 0 0 54 7 0 0 20 0 15 0 475156030 15512686592 74886 33554432000 4194304 4196468 140721944345680 139790142954784 139789726764903 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32371] ppid=32367 vsize=15149108 memory=988 CPUtime=0.06 cores=1,3,5,7
/proc/32369/task/32371/stat : 32371 (java) S 32367 32367 30846 0 -1 1077944384 70 0 0 0 2 4 0 0 20 0 15 0 475156031 15512686592 74886 33554432000 4194304 4196468 140721944345680 139790050372624 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32372] ppid=32367 vsize=15149108 memory=2016 CPUtime=0.05 cores=1,3,5,7
/proc/32369/task/32372/stat : 32372 (java) S 32367 32367 30846 0 -1 1077944384 46 0 0 0 2 3 0 0 20 0 15 0 475156031 15512686592 74886 33554432000 4194304 4196468 140721944345680 139790049320080 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32373] ppid=32367 vsize=15149108 memory=1416 CPUtime=0.06 cores=1,3,5,7
/proc/32369/task/32373/stat : 32373 (java) S 32367 32367 30846 0 -1 1077944384 57 0 0 0 2 4 0 0 20 0 15 0 475156031 15512686592 74886 33554432000 4194304 4196468 140721944345680 139790048267024 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32374] ppid=32367 vsize=15149108 memory=10728 CPUtime=0.06 cores=1,3,5,7
/proc/32369/task/32374/stat : 32374 (java) S 32367 32367 30846 0 -1 1077944384 70 0 0 0 2 4 0 0 20 0 15 0 475156031 15512686592 74886 33554432000 4194304 4196468 140721944345680 139790047214480 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32375] ppid=32367 vsize=15149108 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32375/stat : 32375 (java) S 32367 32367 30846 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 475156033 15512686592 74886 33554432000 4194304 4196468 140721944345680 139789607381232 139790138727042 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32376] ppid=32367 vsize=15149108 memory=3640 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32376/stat : 32376 (java) S 32367 32367 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475156033 15512686592 74886 33554432000 4194304 4196468 140721944345680 139789606327456 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32377] ppid=32367 vsize=15149108 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32377/stat : 32377 (java) S 32367 32367 30846 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 475156033 15512686592 74886 33554432000 4194304 4196468 140721944345680 139789605274352 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32378] ppid=32367 vsize=15149108 memory=784 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32378/stat : 32378 (java) S 32367 32367 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475156036 15512686592 74886 33554432000 4194304 4196468 140721944345680 139789604222928 139790138734491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32379] ppid=32367 vsize=15149108 memory=1060 CPUtime=0.21 cores=1,3,5,7
/proc/32369/task/32379/stat : 32379 (java) R 32367 32367 30846 0 -1 4202560 2167 0 0 0 21 0 0 0 20 0 15 0 475156036 15512686592 74886 33554432000 4194304 4196468 140721944345680 139789603156936 139790123825471 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32380] ppid=32367 vsize=15149108 memory=1720 CPUtime=0.15 cores=1,3,5,7
/proc/32369/task/32380/stat : 32380 (java) S 32367 32367 30846 0 -1 1077944384 1196 0 0 0 15 0 0 0 20 0 15 0 475156036 15512686592 74886 33554432000 4194304 4196468 140721944345680 139789602118512 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32381] ppid=32367 vsize=15149108 memory=1096 CPUtime=0.2 cores=1,3,5,7
/proc/32369/task/32381/stat : 32381 (java) S 32367 32367 30846 0 -1 1077944384 1338 0 0 0 20 0 0 0 20 0 15 0 475156036 15512686592 74886 33554432000 4194304 4196468 140721944345680 139789601065456 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32382] ppid=32367 vsize=15149108 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32382/stat : 32382 (java) S 32367 32367 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475156036 15512686592 74886 33554432000 4194304 4196468 140721944345680 139789600013152 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32383] ppid=32367 vsize=15149108 memory=6112 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32383/stat : 32383 (java) S 32367 32367 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475156036 15512686592 74886 33554432000 4194304 4196468 140721944345680 139789598960176 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 15262236 KiB
Current children cumulated memory: 300996 KiB
[startup+1.50086 s]
/proc/loadavg: 8.65 8.44 5.94 8/231 32383
/proc/meminfo: memFree=2177048/32770624 swapFree=66938892/67108860
[pid=32367] ppid=32364 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32367/stat : 32367 (xcsp3-exec) S 32364 32367 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475156030 115843072 363 33554432000 4194304 5098028 140731295026224 140731295024328 140667409830524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24281088 140731295032186 140731295032429 140731295032429 140731295035338 0
/proc/32367/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
[pid=32369/tid=32374] ppid=32367 vsize=15417412 memory=10728 CPUtime=14.92 cores=1,3,5,7
/proc/32369/task/32374/stat : 32374 (java) S 32367 32367 30846 0 -1 1077944384 725765 0 0 0 1245 247 0 0 20 0 19 0 475156031 15787429888 1794300 33554432000 4194304 4196468 140721944345680 139790047214480 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32375] ppid=32367 vsize=15417412 memory=1552 CPUtime=3.09 cores=1,3,5,7
/proc/32369/task/32375/stat : 32375 (java) S 32367 32367 30846 0 -1 1077944384 37657 0 0 0 305 4 0 0 20 0 19 0 475156033 15787429888 1794300 33554432000 4194304 4196468 140721944345680 139789607381232 139790138727042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32376] ppid=32367 vsize=15417412 memory=280019252452960 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32376/stat : 32376 (java) S 32367 32367 30846 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 475156033 15787429888 1794300 33554432000 4194304 4196468 140721944345680 139789606327520 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32377] ppid=32367 vsize=15417412 memory=988 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32377/stat : 32377 (java) S 32367 32367 30846 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 19 0 475156033 15787429888 1794300 33554432000 4194304 4196468 140721944345680 139789605274368 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32378] ppid=32367 vsize=15417412 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32378/stat : 32378 (java) S 32367 32367 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475156036 15787429888 1794300 33554432000 4194304 4196468 140721944345680 139789604222928 139790138734491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32379] ppid=32367 vsize=15417412 memory=1416 CPUtime=1.07 cores=1,3,5,7
/proc/32369/task/32379/stat : 32379 (java) S 32367 32367 30846 0 -1 1077944384 5354 0 0 0 106 1 0 0 20 0 19 0 475156036 15787429888 1794300 33554432000 4194304 4196468 140721944345680 139789603171056 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32380] ppid=32367 vsize=15417412 memory=10728 CPUtime=1.17 cores=1,3,5,7
/proc/32369/task/32380/stat : 32380 (java) S 32367 32367 30846 0 -1 1077944384 6022 0 0 0 116 1 0 0 20 0 19 0 475156036 15787429888 1794300 33554432000 4194304 4196468 140721944345680 139789602118512 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32381] ppid=32367 vsize=15417412 memory=1552 CPUtime=0.72 cores=1,3,5,7
/proc/32369/task/32381/stat : 32381 (java) S 32367 32367 30846 0 -1 1077944384 6592 0 0 0 70 2 0 0 20 0 19 0 475156036 15787429888 1794300 33554432000 4194304 4196468 140721944345680 139789601065456 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32382] ppid=32367 vsize=15417412 memory=3640 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32382/stat : 32382 (java) S 32367 32367 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475156036 15787429888 1794300 33554432000 4194304 4196468 140721944345680 139789600013152 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32383] ppid=32367 vsize=15417412 memory=2832 CPUtime=0.03 cores=1,3,5,7
/proc/32369/task/32383/stat : 32383 (java) S 32367 32367 30846 0 -1 1077944384 1047 0 0 0 1 2 0 0 20 0 19 0 475156036 15787429888 1794300 33554432000 4194304 4196468 140721944345680 139789598960176 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32390] ppid=32367 vsize=15417412 memory=784 CPUtime=1.62 cores=1,3,5,7
/proc/32369/task/32390/stat : 32390 (java) R 32367 32367 30846 0 -1 4202560 1491 0 0 0 162 0 0 0 20 0 19 0 475162243 15787429888 1794300 33554432000 4194304 4196468 140721944345680 139789589740488 139789732949339 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32391] ppid=32367 vsize=15417412 memory=1060 CPUtime=1.83 cores=1,3,5,7
/proc/32369/task/32391/stat : 32391 (java) R 32367 32367 30846 0 -1 4202560 10507 0 0 0 183 0 0 0 20 0 19 0 475162243 15787429888 1794300 33554432000 4194304 4196468 140721944345680 139789588690648 139789732949428 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32392] ppid=32367 vsize=15417412 memory=1452 CPUtime=1.78 cores=1,3,5,7
/proc/32369/task/32392/stat : 32392 (java) R 32367 32367 30846 0 -1 4202560 555 0 0 0 178 0 0 0 20 0 19 0 475162243 15787429888 1794300 33554432000 4194304 4196468 140721944345680 139789587638328 139789733189181 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32393] ppid=32367 vsize=15417412 memory=7174676 CPUtime=1.6 cores=1,3,5,7
/proc/32369/task/32393/stat : 32393 (java) R 32367 32367 30846 0 -1 4202560 6126 0 0 0 160 0 0 0 20 0 19 0 475162243 15787429888 1794300 33554432000 4194304 4196468 140721944345680 139789586586472 139789733031533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
Current children cumulated CPU time: 116.43 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 7178652 KiB
[startup+65.6012 s]
/proc/loadavg: 6.50 7.83 5.90 10/235 32393
/proc/meminfo: memFree=474004/32770624 swapFree=66938892/67108860
[pid=32367] ppid=32364 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32367/stat : 32367 (xcsp3-exec) S 32364 32367 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475156030 115843072 363 33554432000 4194304 5098028 140731295026224 140731295024328 140667409830524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24281088 140731295032186 140731295032429 140731295032429 140731295035338 0
/proc/32367/statm: 28282 363 304 221 0 87 0
[pid=32369] ppid=32367 vsize=15417412 memory=7177404 CPUtime=122.72 cores=1,3,5,7
/proc/32369/stat : 32369 (java) S 32367 32367 30846 0 -1 1077944320 4623992 0 0 0 10950 1322 0 0 20 0 19 0 475156030 15787429888 1794351 33554432000 4194304 4196468 140721944345680 140721944328224 139790138715895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
/proc/32369/statm: 3854353 1794351 3511 1 0 3815453 0
[pid=32369/tid=32370] ppid=32367 vsize=15417412 memory=6791534058613427641 CPUtime=43.92 cores=1,3,5,7
/proc/32369/task/32370/stat : 32370 (java) S 32367 32367 30846 0 -1 1077944384 1306638 0 0 0 4209 183 0 0 20 0 19 0 475156030 15787429888 1794351 33554432000 4194304 4196468 140721944345680 139790142956672 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32371] ppid=32367 vsize=15417412 memory=288286666899343456 CPUtime=14.76 cores=1,3,5,7
/proc/32369/task/32371/stat : 32371 (java) S 32367 32367 30846 0 -1 1077944384 750882 0 0 0 1180 296 0 0 20 0 19 0 475156031 15787429888 1794351 33554432000 4194304 4196468 140721944345680 139790050372624 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32372] ppid=32367 vsize=15417412 memory=0 CPUtime=14.82 cores=1,3,5,7
/proc/32369/task/32372/stat : 32372 (java) S 32367 32367 30846 0 -1 1077944384 932860 0 0 0 1219 263 0 0 20 0 19 0 475156031 15787429888 1794351 33554432000 4194304 4196468 140721944345680 139790049320080 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32373] ppid=32367 vsize=15417412 memory=0 CPUtime=14.93 cores=1,3,5,7
/proc/32369/task/32373/stat : 32373 (java) S 32367 32367 30846 0 -1 1077944384 796676 0 0 0 1183 310 0 0 20 0 19 0 475156031 15787429888 1794351 33554432000 4194304 4196468 140721944345680 139790048267024 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32374] ppid=32367 vsize=15417412 memory=0 CPUtime=14.92 cores=1,3,5,7
/proc/32369/task/32374/stat : 32374 (java) S 32367 32367 30846 0 -1 1077944384 725765 0 0 0 1245 247 0 0 20 0 19 0 475156031 15787429888 1794351 33554432000 4194304 4196468 140721944345680 139790047214480 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32375] ppid=32367 vsize=15417412 memory=0 CPUtime=3.11 cores=1,3,5,7
/proc/32369/task/32375/stat : 32375 (java) S 32367 32367 30846 0 -1 1077944384 37705 0 0 0 306 5 0 0 20 0 19 0 475156033 15787429888 1794351 33554432000 4194304 4196468 140721944345680 139789607381232 139790138727042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32376] ppid=32367 vsize=15417412 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32376/stat : 32376 (java) S 32367 32367 30846 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 475156033 15787429888 1794351 33554432000 4194304 4196468 140721944345680 139789606327520 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32377] ppid=32367 vsize=15417412 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32377/stat : 32377 (java) S 32367 32367 30846 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 19 0 475156033 15787429888 1794351 33554432000 4194304 4196468 140721944345680 139789605274368 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32378] ppid=32367 vsize=15417412 memory=784 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32378/stat : 32378 (java) S 32367 32367 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475156036 15787429888 1794351 33554432000 4194304 4196468 140721944345680 139789604222928 139790138734491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32379] ppid=32367 vsize=15417412 memory=1060 CPUtime=1.07 cores=1,3,5,7
/proc/32369/task/32379/stat : 32379 (java) S 32367 32367 30846 0 -1 1077944384 5354 0 0 0 106 1 0 0 20 0 19 0 475156036 15787429888 1794351 33554432000 4194304 4196468 140721944345680 139789603171056 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32380] ppid=32367 vsize=15417412 memory=1720 CPUtime=1.19 cores=1,3,5,7
/proc/32369/task/32380/stat : 32380 (java) S 32367 32367 30846 0 -1 1077944384 6236 0 0 0 118 1 0 0 20 0 19 0 475156036 15787429888 1794351 33554432000 4194304 4196468 140721944345680 139789602118512 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32381] ppid=32367 vsize=15417412 memory=1096 CPUtime=0.73 cores=1,3,5,7
/proc/32369/task/32381/stat : 32381 (java) S 32367 32367 30846 0 -1 1077944384 6726 0 0 0 71 2 0 0 20 0 19 0 475156036 15787429888 1794351 33554432000 4194304 4196468 140721944345680 139789601065456 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32382] ppid=32367 vsize=15417412 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32382/stat : 32382 (java) S 32367 32367 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475156036 15787429888 1794351 33554432000 4194304 4196468 140721944345680 139789600013152 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32383] ppid=32367 vsize=15417412 memory=6112 CPUtime=0.04 cores=1,3,5,7
/proc/32369/task/32383/stat : 32383 (java) S 32367 32367 30846 0 -1 1077944384 1222 0 0 0 1 3 0 0 20 0 19 0 475156036 15787429888 1794351 33554432000 4194304 4196468 140721944345680 139789598960176 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32390] ppid=32367 vsize=15417412 memory=1452 CPUtime=3.15 cores=1,3,5,7
/proc/32369/task/32390/stat : 32390 (java) R 32367 32367 30846 0 -1 4202560 9612 0 0 0 315 0 0 0 20 0 19 0 475162243 15787429888 1794351 33554432000 4194304 4196468 140721944345680 139789589740488 139789733031463 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32391] ppid=32367 vsize=15417412 memory=7177380 CPUtime=3.42 cores=1,3,5,7
/proc/32369/task/32391/stat : 32391 (java) R 32367 32367 30846 0 -1 4202560 11131 0 0 0 341 1 0 0 20 0 19 0 475162243 15787429888 1794351 33554432000 4194304 4196468 140721944345680 139789588691000 139789733041855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32392] ppid=32367 vsize=15417412 memory=988 CPUtime=3.35 cores=1,3,5,7
/proc/32369/task/32392/stat : 32392 (java) R 32367 32367 30846 0 -1 4202560 17083 0 0 0 333 2 0 0 20 0 19 0 475162243 15787429888 1794351 33554432000 4194304 4196468 140721944345680 139789587636200 139789733041840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32393] ppid=32367 vsize=15417412 memory=2016 CPUtime=3.17 cores=1,3,5,7
/proc/32369/task/32393/stat : 32393 (java) R 32367 32367 30846 0 -1 4202560 14705 0 0 0 316 1 0 0 20 0 19 0 475162243 15787429888 1794351 33554432000 4194304 4196468 140721944345680 139789586583744 139789733041840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
Current children cumulated CPU time: 122.72 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 7178856 KiB
[startup+67.2012 s]
/proc/loadavg: 6.50 7.83 5.90 11/235 32393
/proc/meminfo: memFree=471780/32770624 swapFree=66938892/67108860
[pid=32367] ppid=32364 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32367/stat : 32367 (xcsp3-exec) S 32364 32367 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475156030 115843072 363 33554432000 4194304 5098028 140731295026224 140731295024328 140667409830524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24281088 140731295032186 140731295032429 140731295032429 140731295035338 0
/proc/32367/statm: 28282 363 304 221 0 87 0
[pid=32369] ppid=32367 vsize=15417412 memory=7179060 CPUtime=129.09 cores=1,3,5,7
/proc/32369/stat : 32369 (java) S 32367 32367 30846 0 -1 1077944320 4637740 0 0 0 11584 1325 0 0 20 0 19 0 475156030 15787429888 1794765 33554432000 4194304 4196468 140721944345680 140721944328224 139790138715895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
/proc/32369/statm: 3854353 1794765 3518 1 0 3815453 0
[pid=32369/tid=32370] ppid=32367 vsize=15417412 memory=1452 CPUtime=43.92 cores=1,3,5,7
/proc/32369/task/32370/stat : 32370 (java) S 32367 32367 30846 0 -1 1077944384 1306638 0 0 0 4209 183 0 0 20 0 19 0 475156030 15787429888 1794765 33554432000 4194304 4196468 140721944345680 139790142956672 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32371] ppid=32367 vsize=15417412 memory=7177388 CPUtime=14.76 cores=1,3,5,7
/proc/32369/task/32371/stat : 32371 (java) S 32367 32367 30846 0 -1 1077944384 750882 0 0 0 1180 296 0 0 20 0 19 0 475156031 15787429888 1794765 33554432000 4194304 4196468 140721944345680 139790050372624 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32372] ppid=32367 vsize=15417412 memory=2832 CPUtime=14.82 cores=1,3,5,7
/proc/32369/task/32372/stat : 32372 (java) S 32367 32367 30846 0 -1 1077944384 932860 0 0 0 1219 263 0 0 20 0 19 0 475156031 15787429888 1794765 33554432000 4194304 4196468 140721944345680 139790049320080 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32373] ppid=32367 vsize=15417412 memory=1452 CPUtime=14.93 cores=1,3,5,7
/proc/32369/task/32373/stat : 32373 (java) S 32367 32367 30846 0 -1 1077944384 796676 0 0 0 1183 310 0 0 20 0 19 0 475156031 15787429888 1794765 33554432000 4194304 4196468 140721944345680 139790048267024 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32374] ppid=32367 vsize=15417412 memory=1452 CPUtime=14.92 cores=1,3,5,7
/proc/32369/task/32374/stat : 32374 (java) S 32367 32367 30846 0 -1 1077944384 725765 0 0 0 1245 247 0 0 20 0 19 0 475156031 15787429888 1794765 33554432000 4194304 4196468 140721944345680 139790047214480 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32375] ppid=32367 vsize=15417412 memory=1452 CPUtime=3.11 cores=1,3,5,7
/proc/32369/task/32375/stat : 32375 (java) S 32367 32367 30846 0 -1 1077944384 37705 0 0 0 306 5 0 0 20 0 19 0 475156033 15787429888 1794765 33554432000 4194304 4196468 140721944345680 139789607381232 139790138727042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32376] ppid=32367 vsize=15417412 memory=7179060 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32376/stat : 32376 (java) S 32367 32367 30846 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 475156033 15787429888 1794765 33554432000 4194304 4196468 140721944345680 139789606327520 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32377] ppid=32367 vsize=15417412 memory=500 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32377/stat : 32377 (java) S 32367 32367 30846 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 19 0 475156033 15787429888 1794765 33554432000 4194304 4196468 140721944345680 139789605274368 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32378] ppid=32367 vsize=15417412 memory=928 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32378/stat : 32378 (java) S 32367 32367 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475156036 15787429888 1794765 33554432000 4194304 4196468 140721944345680 139789604222928 139790138734491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32379] ppid=32367 vsize=15417412 memory=1984 CPUtime=1.42 cores=1,3,5,7
/proc/32369/task/32379/stat : 32379 (java) S 32367 32367 30846 0 -1 1077944384 8080 0 0 0 141 1 0 0 20 0 19 0 475156036 15787429888 1794765 33554432000 4194304 4196468 140721944345680 139789603171056 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32380] ppid=32367 vsize=15417412 memory=2364 CPUtime=1.35 cores=1,3,5,7
/proc/32369/task/32380/stat : 32380 (java) S 32367 32367 30846 0 -1 1077944384 8239 0 0 0 134 1 0 0 20 0 19 0 475156036 15787429888 1794765 33554432000 4194304 4196468 140721944345680 139789602118512 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32381] ppid=32367 vsize=15417412 memory=1452 CPUtime=0.73 cores=1,3,5,7
/proc/32369/task/32381/stat : 32381 (java) S 32367 32367 30846 0 -1 1077944384 6727 0 0 0 71 2 0 0 20 0 19 0 475156036 15787429888 1794765 33554432000 4194304 4196468 140721944345680 139789601065456 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32382] ppid=32367 vsize=15417412 memory=7177380 CPUtime=0 cores=1,3,5,7
/proc/32369/task/32382/stat : 32382 (java) S 32367 32367 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475156036 15787429888 1794765 33554432000 4194304 4196468 140721944345680 139789600013152 139790138726101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32383] ppid=32367 vsize=15417412 memory=916 CPUtime=0.04 cores=1,3,5,7
/proc/32369/task/32383/stat : 32383 (java) S 32367 32367 30846 0 -1 1077944384 1222 0 0 0 1 3 0 0 20 0 19 0 475156036 15787429888 1794765 33554432000 4194304 4196468 140721944345680 139789598960176 139790138727042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32390] ppid=32367 vsize=15417412 memory=6791534058613427641 CPUtime=4.49 cores=1,3,5,7
/proc/32369/task/32390/stat : 32390 (java) R 32367 32367 30846 0 -1 4202560 17323 0 0 0 448 1 0 0 20 0 19 0 475162243 15787429888 1794765 33554432000 4194304 4196468 140721944345680 139789589740448 139789733041840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32391] ppid=32367 vsize=15417412 memory=4100 CPUtime=4.97 cores=1,3,5,7
/proc/32369/task/32391/stat : 32391 (java) R 32367 32367 30846 0 -1 4202560 11914 0 0 0 496 1 0 0 20 0 19 0 475162243 15787429888 1794765 33554432000 4194304 4196468 140721944345680 139789588688616 139789732949349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32392] ppid=32367 vsize=15417412 memory=3620 CPUtime=4.81 cores=1,3,5,7
/proc/32369/task/32392/stat : 32392 (java) R 32367 32367 30846 0 -1 4202560 17216 0 0 0 479 2 0 0 20 0 19 0 475162243 15787429888 1794765 33554432000 4194304 4196468 140721944345680 139789587635760 139789733041835 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
[pid=32369/tid=32393] ppid=32367 vsize=15417412 memory=0 CPUtime=4.68 cores=1,3,5,7
/proc/32369/task/32393/stat : 32393 (java) R 32367 32367 30846 0 -1 4202560 15096 0 0 0 466 2 0 0 20 0 19 0 475162243 15787429888 1794765 33554432000 4194304 4196468 140721944345680 139789586584144 139789733189181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8888320 140721944351727 140721944351898 140721944351898 140721944354767 0
Current children cumulated CPU time: 129.09 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 7180512 KiB
[startup+67.6009 s]
/proc/loadavg: 6.50 7.83 5.90 11/235 32393
/proc/meminfo: memFree=471780/32770624 swapFree=66938892/67108860
[pid=32367] ppid=32364 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32367/stat : 32367 (xcsp3-exec) S 32364 32367 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475156030 115843072 363 33554432000 4194304 5098028 140731295026224 140731295024328 140667409830524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24281088 140731295032186 140731295032429 140731295032429 140731295035338 0
/proc/32367/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
[startup+67.8004 s]
/proc/loadavg: 6.50 7.83 5.90 11/235 32393
/proc/meminfo: memFree=471780/32770624 swapFree=66938892/67108860
[pid=32367] ppid=32364 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32367/stat : 32367 (xcsp3-exec) S 32364 32367 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475156030 115843072 363 33554432000 4194304 5098028 140731295026224 140731295024328 140667409830524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24281088 140731295032186 140731295032429 140731295032429 140731295035338 0
/proc/32367/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
[startup+67.9003 s]
/proc/loadavg: 6.50 7.83 5.90 11/235 32393
/proc/meminfo: memFree=471780/32770624 swapFree=66938892/67108860
[pid=32367] ppid=32364 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32367/stat : 32367 (xcsp3-exec) S 32364 32367 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475156030 115843072 363 33554432000 4194304 5098028 140731295026224 140731295024328 140667409830524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24281088 140731295032186 140731295032429 140731295032429 140731295035338 0
/proc/32367/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 0
Real time (s): 67.9357
CPU time (s): 131.002
CPU user time (s): 117.404
CPU system time (s): 13.5982
CPU usage (%): 192.833
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 7379992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 117.404
system time used= 13.5982
maximum resident set size= 7378540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4648738
page faults= 0
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5392
involuntary context switches= 3362
# summary of solver processes directly reported to runsolver:
# pid: 32367
# total CPU time (s): 131.002
# total CPU user time (s): 117.404
# total CPU system time (s): 13.5982
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.485719 second user time and 0.725914 second system time
The end