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 (11416 MiB free)
memory of node 1: 16384 MiB (15348 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392902-1568350960/watcher-4392902-1568350960 -o /tmp/evaluation-result-4392902-1568350960/solver-4392902-1568350960 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568346919-22074 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1977356609 HOME/instance-4392902-1568350960.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=23919, runsolver pid=23916
[startup+0.100096 s]*
/proc/loadavg: 8.35 8.28 7.55 8/233 23935
/proc/meminfo: memFree=27391216/32770624 swapFree=66940760/67108860
[pid=23919] ppid=23916 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23919/stat : 23919 (xcsp3-exec) S 23916 23919 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411334763 115843072 362 33554432000 4194304 5098028 140735642566944 140735642565048 140162652353148 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26529792 140735642571642 140735642571885 140735642571885 140735642574794 0
/proc/23919/statm: 28282 362 304 221 0 87 0
[pid=23921] ppid=23919 vsize=15144768 memory=28924 CPUtime=0.13 cores=1,3,5,7
/proc/23921/stat : 23921 (java) S 23919 23919 22042 0 -1 1077944320 5709 0 0 0 12 1 0 0 20 0 15 0 411334763 15508242432 7231 33554432000 4194304 4196468 140728673724896 140728673707440 140330125790967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
/proc/23921/statm: 3786192 7231 3154 1 0 3748377 0
[pid=23921/tid=23922] ppid=23919 vsize=15144768 memory=8514701219881255588 CPUtime=0.08 cores=1,3,5,7
/proc/23921/task/23922/stat : 23922 (java) R 23919 23919 22042 0 -1 4202560 3579 0 0 0 8 0 0 0 20 0 15 0 411334764 15508242432 7231 33554432000 4194304 4196468 140728673724896 140330130016800 140330125802902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23923] ppid=23919 vsize=15144768 memory=3472468058007217360 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23923/stat : 23923 (java) S 23919 23919 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411334764 15508242432 7231 33554432000 4194304 4196468 140728673724896 140330078411792 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23924] ppid=23919 vsize=15144768 memory=139929112065664 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23924/stat : 23924 (java) S 23919 23919 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411334764 15508242432 7231 33554432000 4194304 4196468 140728673724896 140330077359248 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23925] ppid=23919 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23925/stat : 23925 (java) S 23919 23919 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411334764 15508242432 7231 33554432000 4194304 4196468 140728673724896 140330076306192 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23926] ppid=23919 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23926/stat : 23926 (java) S 23919 23919 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411334764 15508242432 7231 33554432000 4194304 4196468 140728673724896 140330075253648 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23927] ppid=23919 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23927/stat : 23927 (java) S 23919 23919 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411334766 15508242432 7231 33554432000 4194304 4196468 140728673724896 140329066924272 140330125802114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23928] ppid=23919 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23928/stat : 23928 (java) S 23919 23919 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411334766 15508242432 7231 33554432000 4194304 4196468 140728673724896 140329065870496 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23929] ppid=23919 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23929/stat : 23929 (java) S 23919 23919 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411334766 15508242432 7231 33554432000 4194304 4196468 140728673724896 140328862474992 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23930] ppid=23919 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23930/stat : 23930 (java) S 23919 23919 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411334769 15508242432 7231 33554432000 4194304 4196468 140728673724896 140328861423568 140330125809563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23931] ppid=23919 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23931/stat : 23931 (java) R 23919 23919 22042 0 -1 4202560 335 0 0 0 0 0 0 0 20 0 15 0 411334769 15508242432 7231 33554432000 4194304 4196468 140728673724896 140328860371696 140330118776009 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23932] ppid=23919 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23932/stat : 23932 (java) R 23919 23919 22042 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 411334769 15508242432 7231 33554432000 4194304 4196468 140728673724896 140328859319152 140330125802114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23933] ppid=23919 vsize=15144768 memory=139929112065664 CPUtime=0.02 cores=1,3,5,7
/proc/23921/task/23933/stat : 23933 (java) R 23919 23919 22042 0 -1 4202560 371 0 0 0 2 0 0 0 20 0 15 0 411334769 15508242432 7231 33554432000 4194304 4196468 140728673724896 140328858266224 140330104495707 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23934] ppid=23919 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23934/stat : 23934 (java) S 23919 23919 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411334769 15508242432 7231 33554432000 4194304 4196468 140728673724896 140328857213792 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23935] ppid=23919 vsize=15144768 memory=139929112065664 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23935/stat : 23935 (java) S 23919 23919 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411334769 15508242432 7231 33554432000 4194304 4196468 140728673724896 140328856160816 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30372 KiB
[startup+0.210919 s]*
/proc/loadavg: 8.35 8.28 7.55 7/233 23935
/proc/meminfo: memFree=27377616/32770624 swapFree=66940760/67108860
[pid=23919] ppid=23916 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23919/stat : 23919 (xcsp3-exec) S 23916 23919 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411334763 115843072 362 33554432000 4194304 5098028 140735642566944 140735642565048 140162652353148 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26529792 140735642571642 140735642571885 140735642571885 140735642574794 0
/proc/23919/statm: 28282 362 304 221 0 87 0
[pid=23921] ppid=23919 vsize=15144768 memory=41164 CPUtime=0.34 cores=1,3,5,7
/proc/23921/stat : 23921 (java) S 23919 23919 22042 0 -1 1077944320 9495 0 0 0 32 2 0 0 20 0 15 0 411334763 15508242432 10291 33554432000 4194304 4196468 140728673724896 140728673707440 140330125790967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
/proc/23921/statm: 3786192 10291 3301 1 0 3748377 0
[pid=23921/tid=23922] ppid=23919 vsize=15144768 memory=5855082630903857826 CPUtime=0.19 cores=1,3,5,7
/proc/23921/task/23922/stat : 23922 (java) R 23919 23919 22042 0 -1 4202560 6644 0 0 0 18 1 0 0 20 0 15 0 411334764 15508242432 10291 33554432000 4194304 4196468 140728673724896 140330130029448 140330109871454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23923] ppid=23919 vsize=15144768 memory=3472468058007217360 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23923/stat : 23923 (java) S 23919 23919 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411334764 15508242432 10291 33554432000 4194304 4196468 140728673724896 140330078411792 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23924] ppid=23919 vsize=15144768 memory=139929112065664 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23924/stat : 23924 (java) S 23919 23919 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411334764 15508242432 10291 33554432000 4194304 4196468 140728673724896 140330077359248 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23925] ppid=23919 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23925/stat : 23925 (java) S 23919 23919 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411334764 15508242432 10291 33554432000 4194304 4196468 140728673724896 140330076306192 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23926] ppid=23919 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23926/stat : 23926 (java) S 23919 23919 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411334764 15508242432 10291 33554432000 4194304 4196468 140728673724896 140330075253648 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23927] ppid=23919 vsize=15144768 memory=139929112065664 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23927/stat : 23927 (java) S 23919 23919 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411334766 15508242432 10291 33554432000 4194304 4196468 140728673724896 140329066924272 140330125802114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23928] ppid=23919 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23928/stat : 23928 (java) S 23919 23919 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411334766 15508242432 10291 33554432000 4194304 4196468 140728673724896 140329065870496 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23929] ppid=23919 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23929/stat : 23929 (java) S 23919 23919 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411334766 15508242432 10291 33554432000 4194304 4196468 140728673724896 140328862474992 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23930] ppid=23919 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23930/stat : 23930 (java) S 23919 23919 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411334769 15508242432 10291 33554432000 4194304 4196468 140728673724896 140328861423568 140330125809563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23931] ppid=23919 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23921/task/23931/stat : 23931 (java) S 23919 23919 22042 0 -1 1077944384 545 0 0 0 2 0 0 0 20 0 15 0 411334769 15508242432 10291 33554432000 4194304 4196468 140728673724896 140328860371696 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23932] ppid=23919 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23921/task/23932/stat : 23932 (java) S 23919 23919 22042 0 -1 1077944384 216 0 0 0 2 0 0 0 20 0 15 0 411334769 15508242432 10291 33554432000 4194304 4196468 140728673724896 140328859319152 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23933] ppid=23919 vsize=15144768 memory=139929112065664 CPUtime=0.08 cores=1,3,5,7
/proc/23921/task/23933/stat : 23933 (java) S 23919 23919 22042 0 -1 1077944384 789 0 0 0 8 0 0 0 20 0 15 0 411334769 15508242432 10291 33554432000 4194304 4196468 140728673724896 140328858266096 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23934] ppid=23919 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23934/stat : 23934 (java) S 23919 23919 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411334769 15508242432 10291 33554432000 4194304 4196468 140728673724896 140328857213792 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23935] ppid=23919 vsize=15144768 memory=139929112065664 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23935/stat : 23935 (java) S 23919 23919 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411334769 15508242432 10291 33554432000 4194304 4196468 140728673724896 140328856160816 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42612 KiB
[startup+0.31446 s]*
/proc/loadavg: 8.35 8.28 7.55 7/233 23935
/proc/meminfo: memFree=27370072/32770624 swapFree=66940760/67108860
[pid=23919] ppid=23916 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23919/stat : 23919 (xcsp3-exec) S 23916 23919 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411334763 115843072 362 33554432000 4194304 5098028 140735642566944 140735642565048 140162652353148 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26529792 140735642571642 140735642571885 140735642571885 140735642574794 0
/proc/23919/statm: 28282 362 304 221 0 87 0
[pid=23921] ppid=23919 vsize=15149024 memory=50468 CPUtime=0.52 cores=1,3,5,7
/proc/23921/stat : 23921 (java) S 23919 23919 22042 0 -1 1077944320 10967 0 0 0 49 3 0 0 20 0 15 0 411334763 15512600576 12617 33554432000 4194304 4196468 140728673724896 140728673707440 140330125790967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
/proc/23921/statm: 3787256 12617 3355 1 0 3748377 0
[pid=23921/tid=23922] ppid=23919 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=1,3,5,7
/proc/23921/task/23922/stat : 23922 (java) R 23919 23919 22042 0 -1 4202560 7891 0 0 0 28 2 0 0 20 0 15 0 411334764 15512600576 12617 33554432000 4194304 4196468 140728673724896 140330130025904 140330109871454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23923] ppid=23919 vsize=15149024 memory=3472468058007217360 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23923/stat : 23923 (java) S 23919 23919 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411334764 15512600576 12617 33554432000 4194304 4196468 140728673724896 140330078411792 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23924] ppid=23919 vsize=15149024 memory=139929112065664 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23924/stat : 23924 (java) S 23919 23919 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411334764 15512600576 12617 33554432000 4194304 4196468 140728673724896 140330077359248 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23925] ppid=23919 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23925/stat : 23925 (java) S 23919 23919 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411334764 15512600576 12617 33554432000 4194304 4196468 140728673724896 140330076306192 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23926] ppid=23919 vsize=15149024 memory=139928960903199 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23926/stat : 23926 (java) S 23919 23919 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411334764 15512600576 12617 33554432000 4194304 4196468 140728673724896 140330075253648 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23927] ppid=23919 vsize=15149024 memory=279857921785632 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23927/stat : 23927 (java) S 23919 23919 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411334766 15512600576 12617 33554432000 4194304 4196468 140728673724896 140329066924272 140330125802114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23928] ppid=23919 vsize=15149024 memory=139928960880143 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23928/stat : 23928 (java) S 23919 23919 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411334766 15512600576 12617 33554432000 4194304 4196468 140728673724896 140329065870496 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23929] ppid=23919 vsize=15149024 memory=279858072954976 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23929/stat : 23929 (java) S 23919 23919 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411334766 15512600576 12617 33554432000 4194304 4196468 140728673724896 140328862474992 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23930] ppid=23919 vsize=15149024 memory=139928960884751 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23930/stat : 23930 (java) S 23919 23919 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411334769 15512600576 12617 33554432000 4194304 4196468 140728673724896 140328861423568 140330125809563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23931] ppid=23919 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23921/task/23931/stat : 23931 (java) S 23919 23919 22042 0 -1 1077944384 655 0 0 0 4 0 0 0 20 0 15 0 411334769 15512600576 12617 33554432000 4194304 4196468 140728673724896 140328860371696 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23932] ppid=23919 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/23921/task/23932/stat : 23932 (java) S 23919 23919 22042 0 -1 1077944384 236 0 0 0 4 0 0 0 20 0 15 0 411334769 15512600576 12617 33554432000 4194304 4196468 140728673724896 140328859319152 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23933] ppid=23919 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23921/task/23933/stat : 23933 (java) S 23919 23919 22042 0 -1 1077944384 887 0 0 0 12 0 0 0 20 0 15 0 411334769 15512600576 12617 33554432000 4194304 4196468 140728673724896 140328858266096 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23934] ppid=23919 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23934/stat : 23934 (java) S 23919 23919 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411334769 15512600576 12617 33554432000 4194304 4196468 140728673724896 140328857213792 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23935] ppid=23919 vsize=15149024 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23935/stat : 23935 (java) S 23919 23919 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411334769 15512600576 12617 33554432000 4194304 4196468 140728673724896 140328856160816 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51916 KiB
[startup+0.701502 s]
/proc/loadavg: 8.35 8.28 7.55 10/233 23935
/proc/meminfo: memFree=27350028/32770624 swapFree=66940760/67108860
[pid=23919] ppid=23916 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23919/stat : 23919 (xcsp3-exec) S 23916 23919 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411334763 115843072 362 33554432000 4194304 5098028 140735642566944 140735642565048 140162652353148 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26529792 140735642571642 140735642571885 140735642571885 140735642574794 0
/proc/23919/statm: 28282 362 304 221 0 87 0
[pid=23921] ppid=23919 vsize=15151148 memory=121232 CPUtime=1.71 cores=1,3,5,7
/proc/23921/stat : 23921 (java) S 23919 23919 22042 0 -1 1077944320 13772 0 0 0 166 5 0 0 20 0 15 0 411334763 15514775552 30308 33554432000 4194304 4196468 140728673724896 140728673707440 140330125790967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
/proc/23921/statm: 3787787 30308 3435 1 0 3748889 0
[pid=23921/tid=23922] ppid=23919 vsize=15151148 memory=1088 CPUtime=0.67 cores=1,3,5,7
/proc/23921/task/23922/stat : 23922 (java) R 23919 23919 22042 0 -1 4202560 8320 0 0 0 64 3 0 0 20 0 15 0 411334764 15514775552 30308 33554432000 4194304 4196468 140728673724896 140330130028064 140330125802902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23923] ppid=23919 vsize=15151148 memory=988 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23923/stat : 23923 (java) S 23919 23919 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411334764 15514775552 30308 33554432000 4194304 4196468 140728673724896 140330078411792 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23924] ppid=23919 vsize=15151148 memory=780 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23924/stat : 23924 (java) S 23919 23919 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411334764 15514775552 30308 33554432000 4194304 4196468 140728673724896 140330077359248 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23925] ppid=23919 vsize=15151148 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23925/stat : 23925 (java) S 23919 23919 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411334764 15514775552 30308 33554432000 4194304 4196468 140728673724896 140330076306192 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23926] ppid=23919 vsize=15151148 memory=624 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23926/stat : 23926 (java) S 23919 23919 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411334764 15514775552 30308 33554432000 4194304 4196468 140728673724896 140330075253648 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23927] ppid=23919 vsize=15151148 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23927/stat : 23927 (java) S 23919 23919 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411334766 15514775552 30308 33554432000 4194304 4196468 140728673724896 140329066924272 140330125802114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23928] ppid=23919 vsize=15151148 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23928/stat : 23928 (java) S 23919 23919 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411334766 15514775552 30308 33554432000 4194304 4196468 140728673724896 140329065870496 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23929] ppid=23919 vsize=15151148 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23929/stat : 23929 (java) S 23919 23919 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411334766 15514775552 30308 33554432000 4194304 4196468 140728673724896 140328862474992 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23930] ppid=23919 vsize=15151148 memory=38308 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23930/stat : 23930 (java) S 23919 23919 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411334769 15514775552 30308 33554432000 4194304 4196468 140728673724896 140328861423568 140330125809563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23931] ppid=23919 vsize=15151148 memory=1988 CPUtime=0.37 cores=1,3,5,7
/proc/23921/task/23931/stat : 23931 (java) R 23919 23919 22042 0 -1 4202560 1288 0 0 0 37 0 0 0 20 0 15 0 411334769 15514775552 30308 33554432000 4194304 4196468 140728673724896 140328860361440 140330125812314 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23932] ppid=23919 vsize=15151148 memory=988 CPUtime=0.35 cores=1,3,5,7
/proc/23921/task/23932/stat : 23932 (java) R 23919 23919 22042 0 -1 4202560 1250 0 0 0 35 0 0 0 20 0 15 0 411334769 15514775552 30308 33554432000 4194304 4196468 140728673724896 140328859312344 140330109291173 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23933] ppid=23919 vsize=15151148 memory=1428 CPUtime=0.28 cores=1,3,5,7
/proc/23921/task/23933/stat : 23933 (java) R 23919 23919 22042 0 -1 4202560 1609 0 0 0 28 0 0 0 20 0 15 0 411334769 15514775552 30308 33554432000 4194304 4196468 140728673724896 140328858266096 140330125802902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23934] ppid=23919 vsize=15151148 memory=1772 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23934/stat : 23934 (java) S 23919 23919 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411334769 15514775552 30308 33554432000 4194304 4196468 140728673724896 140328857213792 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23935] ppid=23919 vsize=15151148 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23935/stat : 23935 (java) S 23919 23919 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411334769 15514775552 30308 33554432000 4194304 4196468 140728673724896 140328856160816 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 122680 KiB
[startup+1.50146 s]
/proc/loadavg: 8.35 8.28 7.55 9/233 23935
/proc/meminfo: memFree=27257876/32770624 swapFree=66940760/67108860
[pid=23919] ppid=23916 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23919/stat : 23919 (xcsp3-exec) S 23916 23919 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411334763 115843072 362 33554432000 4194304 5098028 140735642566944 140735642565048 140162652353148 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26529792 140735642571642 140735642571885 140735642571885 140735642574794 0
/proc/23919/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/23921/task/23935/stat : 23935 (java) S 23919 23919 22042 0 -1 1077944384 1207 0 0 0 0 5 0 0 20 0 19 0 411334769 15789518848 386534 33554432000 4194304 4196468 140728673724896 140328856160816 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23938] ppid=23919 vsize=15419452 memory=1448 CPUtime=105.48 cores=1,3,5,7
/proc/23921/task/23938/stat : 23938 (java) R 23919 23919 22042 0 -1 4202560 1288 0 0 0 10548 0 0 0 20 0 19 0 411335114 15789518848 386534 33554432000 4194304 4196468 140728673724896 140328847186872 140329761095704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23939] ppid=23919 vsize=15419452 memory=3695892 CPUtime=105.3 cores=1,3,5,7
/proc/23921/task/23939/stat : 23939 (java) R 23919 23919 22042 0 -1 4202560 5097 0 0 0 10523 7 0 0 20 0 19 0 411335114 15789518848 386534 33554432000 4194304 4196468 140728673724896 140328846137016 140329756457461 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23940] ppid=23919 vsize=15419452 memory=1412 CPUtime=104.78 cores=1,3,5,7
/proc/23921/task/23940/stat : 23940 (java) R 23919 23919 22042 0 -1 4202560 1863 0 0 0 10478 0 0 0 20 0 19 0 411335114 15789518848 386534 33554432000 4194304 4196468 140728673724896 140328845082696 140329761095611 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23941] ppid=23919 vsize=15419452 memory=6791534058613427641 CPUtime=105.17 cores=1,3,5,7
/proc/23921/task/23941/stat : 23941 (java) R 23919 23919 22042 0 -1 4202560 2256 0 0 0 10514 3 0 0 20 0 19 0 411335114 15789518848 386534 33554432000 4194304 4196468 140728673724896 140328844030232 140329762157361 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
Current children cumulated CPU time: 439.62 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 1547584 KiB
[startup+112.801 s]
/proc/loadavg: 8.74 8.46 7.69 9/237 23948
/proc/meminfo: memFree=25869828/32770624 swapFree=66940760/67108860
[pid=23919] ppid=23916 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23919/stat : 23919 (xcsp3-exec) S 23916 23919 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411334763 115843072 362 33554432000 4194304 5098028 140735642566944 140735642565048 140162652353148 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26529792 140735642571642 140735642571885 140735642571885 140735642574794 0
/proc/23919/statm: 28282 362 304 221 0 87 0
[pid=23921] ppid=23919 vsize=15419452 memory=1578904 CPUtime=442.77 cores=1,3,5,7
/proc/23921/stat : 23921 (java) S 23919 23919 22042 0 -1 1077944320 76553 0 0 0 44198 79 0 0 20 0 19 0 411334763 15789518848 394726 33554432000 4194304 4196468 140728673724896 140728673707440 140330125790967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
/proc/23921/statm: 3854863 394726 3554 1 0 3815965 0
[pid=23921/tid=23922] ppid=23919 vsize=15419452 memory=1546136 CPUtime=3.2 cores=1,3,5,7
/proc/23921/task/23922/stat : 23922 (java) S 23919 23919 22042 0 -1 1077944384 11665 0 0 0 310 10 0 0 20 0 19 0 411334764 15789518848 394726 33554432000 4194304 4196468 140728673724896 140330130031744 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23923] ppid=23919 vsize=15419452 memory=279857923880560 CPUtime=0.82 cores=1,3,5,7
/proc/23921/task/23923/stat : 23923 (java) S 23919 23919 22042 0 -1 1077944384 1094 0 0 0 71 11 0 0 20 0 19 0 411334764 15789518848 394726 33554432000 4194304 4196468 140728673724896 140330078411792 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23924] ppid=23919 vsize=15419452 memory=-7235708281234742870 CPUtime=0.83 cores=1,3,5,7
/proc/23921/task/23924/stat : 23924 (java) S 23919 23919 22042 0 -1 1077944384 1251 0 0 0 73 10 0 0 20 0 19 0 411334764 15789518848 394726 33554432000 4194304 4196468 140728673724896 140330077359248 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23925] ppid=23919 vsize=15419452 memory=1804 CPUtime=0.83 cores=1,3,5,7
/proc/23921/task/23925/stat : 23925 (java) S 23919 23919 22042 0 -1 1077944384 758 0 0 0 71 12 0 0 20 0 19 0 411334764 15789518848 394726 33554432000 4194304 4196468 140728673724896 140330076306192 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23926] ppid=23919 vsize=15419452 memory=920 CPUtime=0.8 cores=1,3,5,7
/proc/23921/task/23926/stat : 23926 (java) S 23919 23919 22042 0 -1 1077944384 556 0 0 0 70 10 0 0 20 0 19 0 411334764 15789518848 394726 33554432000 4194304 4196468 140728673724896 140330075253648 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23927] ppid=23919 vsize=15419452 memory=3848 CPUtime=0.68 cores=1,3,5,7
/proc/23921/task/23927/stat : 23927 (java) S 23919 23919 22042 0 -1 1077944384 2257 0 0 0 67 1 0 0 20 0 19 0 411334766 15789518848 394726 33554432000 4194304 4196468 140728673724896 140329066924272 140330125802114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23928] ppid=23919 vsize=15419452 memory=2596 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23928/stat : 23928 (java) S 23919 23919 22042 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 411334766 15789518848 394726 33554432000 4194304 4196468 140728673724896 140329065870560 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23929] ppid=23919 vsize=15419452 memory=2596 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23929/stat : 23929 (java) S 23919 23919 22042 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 411334766 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328862475008 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23930] ppid=23919 vsize=15419452 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23930/stat : 23930 (java) S 23919 23919 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411334769 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328861423568 140330125809563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23931] ppid=23919 vsize=15419452 memory=3400 CPUtime=5.2 cores=1,3,5,7
/proc/23921/task/23931/stat : 23931 (java) S 23919 23919 22042 0 -1 1077944384 18592 0 0 0 515 5 0 0 20 0 19 0 411334769 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328860371696 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23932] ppid=23919 vsize=15419452 memory=1448 CPUtime=5.4 cores=1,3,5,7
/proc/23921/task/23932/stat : 23932 (java) S 23919 23919 22042 0 -1 1077944384 16450 0 0 0 537 3 0 0 20 0 19 0 411334769 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328859319152 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23933] ppid=23919 vsize=15419452 memory=1448 CPUtime=0.98 cores=1,3,5,7
/proc/23921/task/23933/stat : 23933 (java) S 23919 23919 22042 0 -1 1077944384 10840 0 0 0 96 2 0 0 20 0 19 0 411334769 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328858266096 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23934] ppid=23919 vsize=15419452 memory=1546136 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23934/stat : 23934 (java) S 23919 23919 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411334769 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328857213792 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23935] ppid=23919 vsize=15419452 memory=532 CPUtime=0.05 cores=1,3,5,7
/proc/23921/task/23935/stat : 23935 (java) S 23919 23919 22042 0 -1 1077944384 1207 0 0 0 0 5 0 0 20 0 19 0 411334769 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328856160816 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23938] ppid=23919 vsize=15419452 memory=928 CPUtime=106.27 cores=1,3,5,7
/proc/23921/task/23938/stat : 23938 (java) R 23919 23919 22042 0 -1 4202560 1288 0 0 0 10627 0 0 0 20 0 19 0 411335114 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328847186824 140329755310240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23939] ppid=23919 vsize=15419452 memory=1720 CPUtime=106.09 cores=1,3,5,7
/proc/23921/task/23939/stat : 23939 (java) R 23919 23919 22042 0 -1 4202560 5130 0 0 0 10601 8 0 0 20 0 19 0 411335114 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328846134672 140329756457461 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23940] ppid=23919 vsize=15419452 memory=1976 CPUtime=105.56 cores=1,3,5,7
/proc/23921/task/23940/stat : 23940 (java) R 23919 23919 22042 0 -1 4202560 1863 0 0 0 10556 0 0 0 20 0 19 0 411335114 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328845082472 140329761095636 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23941] ppid=23919 vsize=15419452 memory=2432 CPUtime=105.95 cores=1,3,5,7
/proc/23921/task/23941/stat : 23941 (java) R 23919 23919 22042 0 -1 4202560 2256 0 0 0 10592 3 0 0 20 0 19 0 411335114 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328844031000 140329762272354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
Current children cumulated CPU time: 442.77 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 1580352 KiB
[startup+113.201 s]
/proc/loadavg: 8.74 8.46 7.69 9/237 23948
/proc/meminfo: memFree=25837052/32770624 swapFree=66940760/67108860
[pid=23919] ppid=23916 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23919/stat : 23919 (xcsp3-exec) S 23916 23919 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411334763 115843072 362 33554432000 4194304 5098028 140735642566944 140735642565048 140162652353148 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26529792 140735642571642 140735642571885 140735642571885 140735642574794 0
/proc/23919/statm: 28282 362 304 221 0 87 0
[pid=23921] ppid=23919 vsize=15419452 memory=1578904 CPUtime=444.36 cores=1,3,5,7
/proc/23921/stat : 23921 (java) S 23919 23919 22042 0 -1 1077944320 76553 0 0 0 44357 79 0 0 20 0 19 0 411334763 15789518848 394726 33554432000 4194304 4196468 140728673724896 140728673707440 140330125790967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
/proc/23921/statm: 3854863 394726 3554 1 0 3815965 0
[pid=23921/tid=23922] ppid=23919 vsize=15419452 memory=288230617509003574 CPUtime=3.2 cores=1,3,5,7
/proc/23921/task/23922/stat : 23922 (java) S 23919 23919 22042 0 -1 1077944384 11665 0 0 0 310 10 0 0 20 0 19 0 411334764 15789518848 394726 33554432000 4194304 4196468 140728673724896 140330130031744 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23923] ppid=23919 vsize=15419452 memory=14698482732632482 CPUtime=0.82 cores=1,3,5,7
/proc/23921/task/23923/stat : 23923 (java) S 23919 23919 22042 0 -1 1077944384 1094 0 0 0 71 11 0 0 20 0 19 0 411334764 15789518848 394726 33554432000 4194304 4196468 140728673724896 140330078411792 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23924] ppid=23919 vsize=15419452 memory=1448 CPUtime=0.83 cores=1,3,5,7
/proc/23921/task/23924/stat : 23924 (java) S 23919 23919 22042 0 -1 1077944384 1251 0 0 0 73 10 0 0 20 0 19 0 411334764 15789518848 394726 33554432000 4194304 4196468 140728673724896 140330077359248 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23925] ppid=23919 vsize=15419452 memory=1535896 CPUtime=0.83 cores=1,3,5,7
/proc/23921/task/23925/stat : 23925 (java) S 23919 23919 22042 0 -1 1077944384 758 0 0 0 71 12 0 0 20 0 19 0 411334764 15789518848 394726 33554432000 4194304 4196468 140728673724896 140330076306192 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23926] ppid=23919 vsize=15419452 memory=6791534058613427641 CPUtime=0.8 cores=1,3,5,7
/proc/23921/task/23926/stat : 23926 (java) S 23919 23919 22042 0 -1 1077944384 556 0 0 0 70 10 0 0 20 0 19 0 411334764 15789518848 394726 33554432000 4194304 4196468 140728673724896 140330075253648 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23927] ppid=23919 vsize=15419452 memory=-7003737579269690708 CPUtime=0.68 cores=1,3,5,7
/proc/23921/task/23927/stat : 23927 (java) S 23919 23919 22042 0 -1 1077944384 2257 0 0 0 67 1 0 0 20 0 19 0 411334766 15789518848 394726 33554432000 4194304 4196468 140728673724896 140329066924272 140330125802114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23928] ppid=23919 vsize=15419452 memory=800 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23928/stat : 23928 (java) S 23919 23919 22042 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 411334766 15789518848 394726 33554432000 4194304 4196468 140728673724896 140329065870560 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23929] ppid=23919 vsize=15419452 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23929/stat : 23929 (java) S 23919 23919 22042 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 411334766 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328862475008 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23930] ppid=23919 vsize=15419452 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23930/stat : 23930 (java) S 23919 23919 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411334769 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328861423568 140330125809563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23931] ppid=23919 vsize=15419452 memory=920 CPUtime=5.2 cores=1,3,5,7
/proc/23921/task/23931/stat : 23931 (java) S 23919 23919 22042 0 -1 1077944384 18592 0 0 0 515 5 0 0 20 0 19 0 411334769 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328860371696 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23932] ppid=23919 vsize=15419452 memory=3848 CPUtime=5.4 cores=1,3,5,7
/proc/23921/task/23932/stat : 23932 (java) S 23919 23919 22042 0 -1 1077944384 16450 0 0 0 537 3 0 0 20 0 19 0 411334769 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328859319152 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23933] ppid=23919 vsize=15419452 memory=2596 CPUtime=0.98 cores=1,3,5,7
/proc/23921/task/23933/stat : 23933 (java) S 23919 23919 22042 0 -1 1077944384 10840 0 0 0 96 2 0 0 20 0 19 0 411334769 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328858266096 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23934] ppid=23919 vsize=15419452 memory=2596 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23934/stat : 23934 (java) S 23919 23919 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411334769 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328857213792 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23935] ppid=23919 vsize=15419452 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/23921/task/23935/stat : 23935 (java) S 23919 23919 22042 0 -1 1077944384 1207 0 0 0 0 5 0 0 20 0 19 0 411334769 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328856160816 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23938] ppid=23919 vsize=15419452 memory=288230617509003574 CPUtime=106.67 cores=1,3,5,7
/proc/23921/task/23938/stat : 23938 (java) R 23919 23919 22042 0 -1 4202560 1288 0 0 0 10667 0 0 0 20 0 19 0 411335114 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328847186824 140329760846237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23939] ppid=23919 vsize=15419452 memory=1448 CPUtime=106.49 cores=1,3,5,7
/proc/23921/task/23939/stat : 23939 (java) R 23919 23919 22042 0 -1 4202560 5130 0 0 0 10641 8 0 0 20 0 19 0 411335114 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328846134672 140329762005268 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23940] ppid=23919 vsize=15419452 memory=1576856 CPUtime=105.95 cores=1,3,5,7
/proc/23921/task/23940/stat : 23940 (java) R 23919 23919 22042 0 -1 4202560 1863 0 0 0 10595 0 0 0 20 0 19 0 411335114 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328845082472 140329761095590 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23941] ppid=23919 vsize=15419452 memory=2832 CPUtime=106.35 cores=1,3,5,7
/proc/23921/task/23941/stat : 23941 (java) R 23919 23919 22042 0 -1 4202560 2256 0 0 0 10632 3 0 0 20 0 19 0 411335114 15789518848 394726 33554432000 4194304 4196468 140728673724896 140328844031000 140329762272122 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
Current children cumulated CPU time: 444.36 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 1580352 KiB
[startup+113.601 s]
/proc/loadavg: 8.74 8.46 7.69 9/237 23948
/proc/meminfo: memFree=25837052/32770624 swapFree=66940760/67108860
[pid=23919] ppid=23916 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23919/stat : 23919 (xcsp3-exec) S 23916 23919 22042 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 411334763 115843072 362 33554432000 4194304 5098028 140735642566944 140735642565048 140162652353148 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26529792 140735642571642 140735642571885 140735642571885 140735642574794 0
/proc/23919/statm: 28282 362 304 221 0 87 0
[pid=23921] ppid=23919 vsize=15419452 memory=1603484 CPUtime=445.96 cores=1,3,5,7
/proc/23921/stat : 23921 (java) S 23919 23919 22042 0 -1 1077944320 76936 0 0 0 44516 80 0 0 20 0 19 0 411334763 15789518848 400871 33554432000 4194304 4196468 140728673724896 140728673707440 140330125790967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
/proc/23921/statm: 3854863 400871 3554 1 0 3815965 0
[pid=23921/tid=23922] ppid=23919 vsize=15419452 memory=1772 CPUtime=3.2 cores=1,3,5,7
/proc/23921/task/23922/stat : 23922 (java) S 23919 23919 22042 0 -1 1077944384 11665 0 0 0 310 10 0 0 20 0 19 0 411334764 15789518848 400871 33554432000 4194304 4196468 140728673724896 140330130031744 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23923] ppid=23919 vsize=15419452 memory=1056 CPUtime=0.82 cores=1,3,5,7
/proc/23921/task/23923/stat : 23923 (java) S 23919 23919 22042 0 -1 1077944384 1094 0 0 0 71 11 0 0 20 0 19 0 411334764 15789518848 400871 33554432000 4194304 4196468 140728673724896 140330078411792 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23924] ppid=23919 vsize=15419452 memory=6791534058613427641 CPUtime=0.83 cores=1,3,5,7
/proc/23921/task/23924/stat : 23924 (java) S 23919 23919 22042 0 -1 1077944384 1251 0 0 0 73 10 0 0 20 0 19 0 411334764 15789518848 400871 33554432000 4194304 4196468 140728673724896 140330077359248 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23925] ppid=23919 vsize=15419452 memory=1544088 CPUtime=0.83 cores=1,3,5,7
/proc/23921/task/23925/stat : 23925 (java) S 23919 23919 22042 0 -1 1077944384 758 0 0 0 71 12 0 0 20 0 19 0 411334764 15789518848 400871 33554432000 4194304 4196468 140728673724896 140330076306192 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23926] ppid=23919 vsize=15419452 memory=1448 CPUtime=0.8 cores=1,3,5,7
/proc/23921/task/23926/stat : 23926 (java) S 23919 23919 22042 0 -1 1077944384 556 0 0 0 70 10 0 0 20 0 19 0 411334764 15789518848 400871 33554432000 4194304 4196468 140728673724896 140330075253648 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23927] ppid=23919 vsize=15419452 memory=1448 CPUtime=0.68 cores=1,3,5,7
/proc/23921/task/23927/stat : 23927 (java) S 23919 23919 22042 0 -1 1077944384 2258 0 0 0 67 1 0 0 20 0 19 0 411334766 15789518848 400871 33554432000 4194304 4196468 140728673724896 140329066924272 140330125802114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23928] ppid=23919 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23928/stat : 23928 (java) S 23919 23919 22042 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 411334766 15789518848 400871 33554432000 4194304 4196468 140728673724896 140329065870560 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23929] ppid=23919 vsize=15419452 memory=1576856 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23929/stat : 23929 (java) S 23919 23919 22042 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 411334766 15789518848 400871 33554432000 4194304 4196468 140728673724896 140328862475008 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23930] ppid=23919 vsize=15419452 memory=3200 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23930/stat : 23930 (java) S 23919 23919 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411334769 15789518848 400871 33554432000 4194304 4196468 140728673724896 140328861423568 140330125809563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23931] ppid=23919 vsize=15419452 memory=1448 CPUtime=5.25 cores=1,3,5,7
/proc/23921/task/23931/stat : 23931 (java) S 23919 23919 22042 0 -1 1077944384 18699 0 0 0 520 5 0 0 20 0 19 0 411334769 15789518848 400871 33554432000 4194304 4196468 140728673724896 140328860371696 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23932] ppid=23919 vsize=15419452 memory=1525652 CPUtime=5.4 cores=1,3,5,7
/proc/23921/task/23932/stat : 23932 (java) S 23919 23919 22042 0 -1 1077944384 16465 0 0 0 537 3 0 0 20 0 19 0 411334769 15789518848 400871 33554432000 4194304 4196468 140728673724896 140328859319152 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23933] ppid=23919 vsize=15419452 memory=3620 CPUtime=0.98 cores=1,3,5,7
/proc/23921/task/23933/stat : 23933 (java) S 23919 23919 22042 0 -1 1077944384 11066 0 0 0 96 2 0 0 20 0 19 0 411334769 15789518848 400871 33554432000 4194304 4196468 140728673724896 140328858266096 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23934] ppid=23919 vsize=15419452 memory=38308 CPUtime=0 cores=1,3,5,7
/proc/23921/task/23934/stat : 23934 (java) S 23919 23919 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411334769 15789518848 400871 33554432000 4194304 4196468 140728673724896 140328857213792 140330125801173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23935] ppid=23919 vsize=15419452 memory=1988 CPUtime=0.05 cores=1,3,5,7
/proc/23921/task/23935/stat : 23935 (java) S 23919 23919 22042 0 -1 1077944384 1207 0 0 0 0 5 0 0 20 0 19 0 411334769 15789518848 400871 33554432000 4194304 4196468 140728673724896 140328856160816 140330125802114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23938] ppid=23919 vsize=15419452 memory=988 CPUtime=107.07 cores=1,3,5,7
/proc/23921/task/23938/stat : 23938 (java) R 23919 23919 22042 0 -1 4202560 1288 0 0 0 10707 0 0 0 20 0 19 0 411335114 15789518848 400871 33554432000 4194304 4196468 140728673724896 140328847186872 140329761095513 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23939] ppid=23919 vsize=15419452 memory=38308 CPUtime=106.88 cores=1,3,5,7
/proc/23921/task/23939/stat : 23939 (java) R 23919 23919 22042 0 -1 4202560 5132 0 0 0 10680 8 0 0 20 0 19 0 411335114 15789518848 400871 33554432000 4194304 4196468 140728673724896 140328846134736 140329756457548 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23940] ppid=23919 vsize=15419452 memory=1988 CPUtime=106.34 cores=1,3,5,7
/proc/23921/task/23940/stat : 23940 (java) R 23919 23919 22042 0 -1 4202560 1863 0 0 0 10634 0 0 0 20 0 19 0 411335114 15789518848 400871 33554432000 4194304 4196468 140728673724896 140328845082472 140329760845064 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
[pid=23921/tid=23941] ppid=23919 vsize=15419452 memory=3620 CPUtime=106.69 cores=1,3,5,7
/proc/23921/task/23941/stat : 23941 (java) R 23919 23919 22042 0 -1 4202560 2288 0 0 0 10666 3 0 0 20 0 19 0 411335114 15789518848 400871 33554432000 4194304 4196468 140728673724896 140328844030248 140329762272028 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7606272 140728673727471 140728673727642 140728673727642 140728673730511 0
Current children cumulated CPU time: 445.96 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 1604932 KiB
Child status: 0
Real time (s): 113.688
CPU time (s): 446.149
CPU user time (s): 445.333
CPU system time (s): 0.815459
CPU usage (%): 392.434
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 1604932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 445.333
system time used= 0.815459
maximum resident set size= 1609852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77877
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6458
involuntary context switches= 12443
# summary of solver processes directly reported to runsolver:
# pid: 23919
# total CPU time (s): 446.149
# total CPU user time (s): 445.333
# total CPU system time (s): 0.815459
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.796784 second user time and 1.38795 second system time
The end