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 (14101 MiB free)
memory of node 1: 16384 MiB (15435 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393292-1568316937/watcher-4393292-1568316937 -o /tmp/evaluation-result-4393292-1568316937/solver-4393292-1568316937 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14286 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 912610393 HOME/instance-4393292-1568316937.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=17731, runsolver pid=17728
[startup+0.101254 s]*
/proc/loadavg: 7.74 8.05 8.00 7/233 17747
/proc/meminfo: memFree=30228408/32770624 swapFree=66920708/67108860
[pid=17731] ppid=17728 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17731/stat : 17731 (xcsp3-exec) S 17728 17731 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407949785 115843072 363 33554432000 4194304 5098028 140732110104400 140732110102504 139916366541436 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30871552 140732110107515 140732110107757 140732110107757 140732110110666 0
/proc/17731/statm: 28282 363 304 221 0 87 0
[pid=17733] ppid=17731 vsize=15144768 memory=28960 CPUtime=0.13 cores=1,3,5,7
/proc/17733/stat : 17733 (java) S 17731 17731 14254 0 -1 1077944320 5715 0 0 0 13 0 0 0 20 0 15 0 407949785 15508242432 7240 33554432000 4194304 4196468 140732296653232 140732296635776 140343288721143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
/proc/17733/statm: 3786192 7240 3154 1 0 3748377 0
[pid=17733/tid=17734] ppid=17731 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/17733/task/17734/stat : 17734 (java) R 17731 17731 14254 0 -1 4202560 3571 0 0 0 9 0 0 0 20 0 15 0 407949785 15508242432 7240 33554432000 4194304 4196468 140732296653232 140343292943200 140343288733078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17735] ppid=17731 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17735/stat : 17735 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407949786 15508242432 7240 33554432000 4194304 4196468 140732296653232 140343224957456 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17736] ppid=17731 vsize=15144768 memory=288370389581727360 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17736/stat : 17736 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407949786 15508242432 7240 33554432000 4194304 4196468 140732296653232 140342880426640 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17737] ppid=17731 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17737/stat : 17737 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407949786 15508242432 7240 33554432000 4194304 4196468 140732296653232 140342879373584 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17738] ppid=17731 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17738/stat : 17738 (java) S 17731 17731 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407949786 15508242432 7240 33554432000 4194304 4196468 140732296653232 140342878321040 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17739] ppid=17731 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17739/stat : 17739 (java) S 17731 17731 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407949788 15508242432 7240 33554432000 4194304 4196468 140732296653232 140342824454896 140343288732290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17740] ppid=17731 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17740/stat : 17740 (java) S 17731 17731 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407949788 15508242432 7240 33554432000 4194304 4196468 140732296653232 140342823401120 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17741] ppid=17731 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17741/stat : 17741 (java) S 17731 17731 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407949788 15508242432 7240 33554432000 4194304 4196468 140732296653232 140342822348016 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17742] ppid=17731 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17742/stat : 17742 (java) S 17731 17731 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407949791 15508242432 7240 33554432000 4194304 4196468 140732296653232 140342619793872 140343288739739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17743] ppid=17731 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17743/stat : 17743 (java) R 17731 17731 14254 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 15 0 407949791 15508242432 7240 33554432000 4194304 4196468 140732296653232 140342618740976 140343288732290 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17744] ppid=17731 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17744/stat : 17744 (java) R 17731 17731 14254 0 -1 4202560 287 0 0 0 0 0 0 0 20 0 15 0 407949791 15508242432 7240 33554432000 4194304 4196468 140732296653232 140342617688432 140343268581817 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17745] ppid=17731 vsize=15144768 memory=140013430015616 CPUtime=0.02 cores=1,3,5,7
/proc/17733/task/17745/stat : 17745 (java) R 17731 17731 14254 0 -1 4202560 369 0 0 0 2 0 0 0 20 0 15 0 407949791 15508242432 7240 33554432000 4194304 4196468 140732296653232 140342616635376 140343267656546 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17746] ppid=17731 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17746/stat : 17746 (java) S 17731 17731 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407949791 15508242432 7240 33554432000 4194304 4196468 140732296653232 140342615583072 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17747] ppid=17731 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17747/stat : 17747 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407949791 15508242432 7240 33554432000 4194304 4196468 140732296653232 140342614531120 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30412 KiB
[startup+0.211635 s]*
/proc/loadavg: 7.74 8.05 8.00 6/233 17747
/proc/meminfo: memFree=30214944/32770624 swapFree=66920708/67108860
[pid=17731] ppid=17728 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17731/stat : 17731 (xcsp3-exec) S 17728 17731 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407949785 115843072 363 33554432000 4194304 5098028 140732110104400 140732110102504 139916366541436 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30871552 140732110107515 140732110107757 140732110107757 140732110110666 0
/proc/17731/statm: 28282 363 304 221 0 87 0
[pid=17733] ppid=17731 vsize=15144768 memory=41156 CPUtime=0.34 cores=1,3,5,7
/proc/17733/stat : 17733 (java) S 17731 17731 14254 0 -1 1077944320 9530 0 0 0 32 2 0 0 20 0 15 0 407949785 15508242432 10289 33554432000 4194304 4196468 140732296653232 140732296635776 140343288721143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
/proc/17733/statm: 3786192 10289 3271 1 0 3748377 0
[pid=17733/tid=17734] ppid=17731 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17733/task/17734/stat : 17734 (java) R 17731 17731 14254 0 -1 4202560 6628 0 0 0 18 2 0 0 20 0 15 0 407949785 15508242432 10289 33554432000 4194304 4196468 140732296653232 140343292956128 140343288744733 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17735] ppid=17731 vsize=15144768 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17735/stat : 17735 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407949786 15508242432 10352 33554432000 4194304 4196468 140732296653232 140343224957456 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17736] ppid=17731 vsize=15144768 memory=140013430031695 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17736/stat : 17736 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407949786 15508242432 10352 33554432000 4194304 4196468 140732296653232 140342880426640 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17737] ppid=17731 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17737/stat : 17737 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407949786 15508242432 10352 33554432000 4194304 4196468 140732296653232 140342879373584 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17738] ppid=17731 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17738/stat : 17738 (java) S 17731 17731 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407949786 15508242432 10352 33554432000 4194304 4196468 140732296653232 140342878321040 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17739] ppid=17731 vsize=15144768 memory=140013430015616 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17739/stat : 17739 (java) S 17731 17731 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407949788 15508242432 10352 33554432000 4194304 4196468 140732296653232 140342824454896 140343288732290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17740] ppid=17731 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17740/stat : 17740 (java) S 17731 17731 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407949788 15508242432 10352 33554432000 4194304 4196468 140732296653232 140342823401120 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17741] ppid=17731 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17741/stat : 17741 (java) S 17731 17731 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407949788 15508242432 10352 33554432000 4194304 4196468 140732296653232 140342822348016 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17742] ppid=17731 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17742/stat : 17742 (java) S 17731 17731 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407949791 15508242432 10352 33554432000 4194304 4196468 140732296653232 140342619793872 140343288739739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17743] ppid=17731 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/17733/task/17743/stat : 17743 (java) S 17731 17731 14254 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 15 0 407949791 15508242432 10352 33554432000 4194304 4196468 140732296653232 140342618740976 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17744] ppid=17731 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17733/task/17744/stat : 17744 (java) S 17731 17731 14254 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 15 0 407949791 15508242432 10352 33554432000 4194304 4196468 140732296653232 140342617688432 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17745] ppid=17731 vsize=15144768 memory=140013430015616 CPUtime=0.08 cores=1,3,5,7
/proc/17733/task/17745/stat : 17745 (java) S 17731 17731 14254 0 -1 1077944384 734 0 0 0 8 0 0 0 20 0 15 0 407949791 15508242432 10352 33554432000 4194304 4196468 140732296653232 140342616635376 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17746] ppid=17731 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17746/stat : 17746 (java) S 17731 17731 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407949791 15508242432 10352 33554432000 4194304 4196468 140732296653232 140342615583072 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17747] ppid=17731 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17747/stat : 17747 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407949791 15508242432 10352 33554432000 4194304 4196468 140732296653232 140342614531120 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42608 KiB
[startup+0.310542 s]*
/proc/loadavg: 7.74 8.05 8.00 7/233 17747
/proc/meminfo: memFree=30207776/32770624 swapFree=66920708/67108860
[pid=17731] ppid=17728 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17731/stat : 17731 (xcsp3-exec) S 17728 17731 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407949785 115843072 363 33554432000 4194304 5098028 140732110104400 140732110102504 139916366541436 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30871552 140732110107515 140732110107757 140732110107757 140732110110666 0
/proc/17731/statm: 28282 363 304 221 0 87 0
[pid=17733] ppid=17731 vsize=15149024 memory=50400 CPUtime=0.53 cores=1,3,5,7
/proc/17733/stat : 17733 (java) S 17731 17731 14254 0 -1 1077944320 10944 0 0 0 50 3 0 0 20 0 15 0 407949785 15512600576 12600 33554432000 4194304 4196468 140732296653232 140732296635776 140343288721143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
/proc/17733/statm: 3787256 12600 3335 1 0 3748377 0
[pid=17733/tid=17734] ppid=17731 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/17733/task/17734/stat : 17734 (java) R 17731 17731 14254 0 -1 4202560 7839 0 0 0 28 2 0 0 20 0 15 0 407949785 15512600576 12600 33554432000 4194304 4196468 140732296653232 140343292952256 140343288743069 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17735] ppid=17731 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17735/stat : 17735 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407949786 15512600576 12600 33554432000 4194304 4196468 140732296653232 140343224957456 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17736] ppid=17731 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17736/stat : 17736 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407949786 15512600576 12600 33554432000 4194304 4196468 140732296653232 140342880426640 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17737] ppid=17731 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17737/stat : 17737 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407949786 15512600576 12600 33554432000 4194304 4196468 140732296653232 140342879373584 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17738] ppid=17731 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17738/stat : 17738 (java) S 17731 17731 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407949786 15512600576 12600 33554432000 4194304 4196468 140732296653232 140342878321040 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17739] ppid=17731 vsize=15149024 memory=-7377628861284532383 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17739/stat : 17739 (java) S 17731 17731 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407949788 15512600576 12600 33554432000 4194304 4196468 140732296653232 140342824454896 140343288732290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17740] ppid=17731 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17740/stat : 17740 (java) S 17731 17731 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407949788 15512600576 12600 33554432000 4194304 4196468 140732296653232 140342823401120 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17741] ppid=17731 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17741/stat : 17741 (java) S 17731 17731 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407949788 15512600576 12600 33554432000 4194304 4196468 140732296653232 140342822348016 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17742] ppid=17731 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17742/stat : 17742 (java) S 17731 17731 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407949791 15512600576 12600 33554432000 4194304 4196468 140732296653232 140342619793872 140343288739739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17743] ppid=17731 vsize=15149024 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/17733/task/17743/stat : 17743 (java) S 17731 17731 14254 0 -1 1077944384 596 0 0 0 5 0 0 0 20 0 15 0 407949791 15512600576 12600 33554432000 4194304 4196468 140732296653232 140342618740976 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17744] ppid=17731 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/17733/task/17744/stat : 17744 (java) S 17731 17731 14254 0 -1 1077944384 393 0 0 0 4 0 0 0 20 0 15 0 407949791 15512600576 12600 33554432000 4194304 4196468 140732296653232 140342617688432 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17745] ppid=17731 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17733/task/17745/stat : 17745 (java) S 17731 17731 14254 0 -1 1077944384 812 0 0 0 12 0 0 0 20 0 15 0 407949791 15512600576 12600 33554432000 4194304 4196468 140732296653232 140342616635376 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17746] ppid=17731 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17746/stat : 17746 (java) S 17731 17731 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407949791 15512600576 12600 33554432000 4194304 4196468 140732296653232 140342615583072 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17747] ppid=17731 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17747/stat : 17747 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407949791 15512600576 12600 33554432000 4194304 4196468 140732296653232 140342614531120 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51852 KiB
[startup+0.701135 s]
/proc/loadavg: 7.74 8.05 8.00 7/233 17747
/proc/meminfo: memFree=30190324/32770624 swapFree=66920708/67108860
[pid=17731] ppid=17728 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17731/stat : 17731 (xcsp3-exec) S 17728 17731 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407949785 115843072 363 33554432000 4194304 5098028 140732110104400 140732110102504 139916366541436 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30871552 140732110107515 140732110107757 140732110107757 140732110110666 0
/proc/17731/statm: 28282 363 304 221 0 87 0
[pid=17733] ppid=17731 vsize=15417404 memory=86628 CPUtime=1.6 cores=1,3,5,7
/proc/17733/stat : 17733 (java) S 17731 17731 14254 0 -1 1077944320 14989 0 0 0 155 5 0 0 20 0 19 0 407949785 15787421696 21657 33554432000 4194304 4196468 140732296653232 140732296635776 140343288721143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
/proc/17733/statm: 3854351 21657 3450 1 0 3815453 0
[pid=17733/tid=17734] ppid=17731 vsize=15417404 memory=-3704326594973231466 CPUtime=0.6 cores=1,3,5,7
/proc/17733/task/17734/stat : 17734 (java) S 17731 17731 14254 0 -1 1077944384 9252 0 0 0 56 4 0 0 20 0 19 0 407949785 15787421696 21657 33554432000 4194304 4196468 140732296653232 140343292961920 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17735] ppid=17731 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17735/stat : 17735 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407949786 15787421696 21657 33554432000 4194304 4196468 140732296653232 140343224957456 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17736] ppid=17731 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17736/stat : 17736 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407949786 15787421696 21657 33554432000 4194304 4196468 140732296653232 140342880426640 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17737] ppid=17731 vsize=15417404 memory=708 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17737/stat : 17737 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407949786 15787421696 21657 33554432000 4194304 4196468 140732296653232 140342879373584 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17738] ppid=17731 vsize=15417404 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17738/stat : 17738 (java) S 17731 17731 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407949786 15787421696 21657 33554432000 4194304 4196468 140732296653232 140342878321040 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17739] ppid=17731 vsize=15417404 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17739/stat : 17739 (java) S 17731 17731 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 407949788 15787421696 21657 33554432000 4194304 4196468 140732296653232 140342824454896 140343288732290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17740] ppid=17731 vsize=15417404 memory=776 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17740/stat : 17740 (java) S 17731 17731 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407949788 15787421696 21657 33554432000 4194304 4196468 140732296653232 140342823401120 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17741] ppid=17731 vsize=15417404 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17741/stat : 17741 (java) S 17731 17731 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407949788 15787421696 21657 33554432000 4194304 4196468 140732296653232 140342822348016 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17742] ppid=17731 vsize=15417404 memory=7956 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17742/stat : 17742 (java) S 17731 17731 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407949791 15787421696 21657 33554432000 4194304 4196468 140732296653232 140342619793872 140343288739739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17743] ppid=17731 vsize=15417404 memory=3444 CPUtime=0.22 cores=1,3,5,7
/proc/17733/task/17743/stat : 17743 (java) R 17731 17731 14254 0 -1 4202560 1283 0 0 0 22 0 0 0 20 0 19 0 407949791 15787421696 21657 33554432000 4194304 4196468 140732296653232 140342618740896 140343268575392 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17744] ppid=17731 vsize=15417404 memory=1556 CPUtime=0.19 cores=1,3,5,7
/proc/17733/task/17744/stat : 17744 (java) R 17731 17731 14254 0 -1 4202560 1148 0 0 0 19 0 0 0 20 0 19 0 407949791 15787421696 21657 33554432000 4194304 4196468 140732296653232 140342617673584 140343270265744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17745] ppid=17731 vsize=15417404 memory=2832 CPUtime=0.36 cores=1,3,5,7
/proc/17733/task/17745/stat : 17745 (java) R 17731 17731 14254 0 -1 4202560 1828 0 0 0 36 0 0 0 20 0 19 0 407949791 15787421696 21657 33554432000 4194304 4196468 140732296653232 140342616632632 140343273247512 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17746] ppid=17731 vsize=15417404 memory=984 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17746/stat : 17746 (java) S 17731 17731 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407949791 15787421696 21657 33554432000 4194304 4196468 140732296653232 140342615583072 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17747] ppid=17731 vsize=15417404 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17747/stat : 17747 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407949791 15787421696 21657 33554432000 4194304 4196468 140732296653232 140342614531120 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 88080 KiB
[startup+1.5009 s]
/proc/loadavg: 7.74 8.05 8.00 13/237 17787
/proc/meminfo: memFree=30085356/32770624 swapFree=66920708/67108860
[pid=17731] ppid=17728 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17731/stat : 17731 (xcsp3-exec) S 17728 17731 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407949785 115843072 363 33554432000 4194304 5098028 140732110104400 140732110102504 139916366541436 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30871552 140732110107515 140732110107757 140732110107757 140732110110666 0
/proc/17731/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/17733/task/17747/stat : 17747 (java) S 17731 17731 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407949791 15857680384 49558 33554432000 4194304 4196468 140732296653232 140342614531120 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17796] ppid=17731 vsize=15486016 memory=888 CPUtime=0.97 cores=1,3,5,7
/proc/17733/task/17796/stat : 17796 (java) R 17731 17731 14254 0 -1 4202560 18 0 0 0 97 0 0 0 20 0 19 0 407949994 15857680384 49558 33554432000 4194304 4196468 140732296653232 140342602161048 140342910688156 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17797] ppid=17731 vsize=15486016 memory=1984 CPUtime=0.55 cores=1,3,5,7
/proc/17733/task/17797/stat : 17797 (java) R 17731 17731 14254 0 -1 4202560 19 0 0 0 55 0 0 0 20 0 19 0 407949994 15857680384 49558 33554432000 4194304 4196468 140732296653232 140342604268440 140342910686758 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17798] ppid=17731 vsize=15486016 memory=2552 CPUtime=0.79 cores=1,3,5,7
/proc/17733/task/17798/stat : 17798 (java) R 17731 17731 14254 0 -1 4202560 18 0 0 0 79 0 0 0 20 0 19 0 407949994 15857680384 49558 33554432000 4194304 4196468 140732296653232 140342605320504 140342911291521 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17799] ppid=17731 vsize=15486016 memory=1760 CPUtime=0.75 cores=1,3,5,7
/proc/17733/task/17799/stat : 17799 (java) R 17731 17731 14254 0 -1 4202560 17 0 0 0 75 0 0 0 20 0 19 0 407949994 15857680384 49558 33554432000 4194304 4196468 140732296653232 140342603215144 140342910278390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
Current children cumulated CPU time: 11.45 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 199684 KiB
[startup+4.00084 s]*
/proc/loadavg: 7.84 8.07 8.01 11/237 17799
/proc/meminfo: memFree=30056356/32770624 swapFree=66920708/67108860
[pid=17731] ppid=17728 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17731/stat : 17731 (xcsp3-exec) S 17728 17731 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407949785 115843072 363 33554432000 4194304 5098028 140732110104400 140732110102504 139916366541436 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30871552 140732110107515 140732110107757 140732110107757 140732110110666 0
/proc/17731/statm: 28282 363 304 221 0 87 0
[pid=17733] ppid=17731 vsize=15486016 memory=201312 CPUtime=14.7 cores=1,3,5,7
/proc/17733/stat : 17733 (java) S 17731 17731 14254 0 -1 1077944320 21033 0 0 0 1462 8 0 0 20 0 19 0 407949785 15857680384 50328 33554432000 4194304 4196468 140732296653232 140732296635776 140343288721143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
/proc/17733/statm: 3871504 50328 3515 1 0 3832606 0
[pid=17733/tid=17734] ppid=17731 vsize=15486016 memory=576460756329955459 CPUtime=0.61 cores=1,3,5,7
/proc/17733/task/17734/stat : 17734 (java) S 17731 17731 14254 0 -1 1077944384 9257 0 0 0 57 4 0 0 20 0 19 0 407949785 15857680384 50328 33554432000 4194304 4196468 140732296653232 140343292961920 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17735] ppid=17731 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17735/stat : 17735 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407949786 15857680384 50328 33554432000 4194304 4196468 140732296653232 140343224957456 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17736] ppid=17731 vsize=15486016 memory=297387734712374912 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17736/stat : 17736 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407949786 15857680384 50328 33554432000 4194304 4196468 140732296653232 140342880426640 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17737] ppid=17731 vsize=15486016 memory=-7737605734073691286 CPUtime=0.01 cores=1,3,5,7
/proc/17733/task/17737/stat : 17737 (java) S 17731 17731 14254 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 19 0 407949786 15857680384 50328 33554432000 4194304 4196468 140732296653232 140342879373584 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17738] ppid=17731 vsize=15486016 memory=7595975407846903891 CPUtime=0.01 cores=1,3,5,7
/proc/17733/task/17738/stat : 17738 (java) S 17731 17731 14254 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 19 0 407949786 15857680384 50328 33554432000 4194304 4196468 140732296653232 140342878321040 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17739] ppid=17731 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17739/stat : 17739 (java) S 17731 17731 14254 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 407949788 15857680384 50328 33554432000 4194304 4196468 140732296653232 140342824454896 140343288732290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17740] ppid=17731 vsize=15486016 memory=3184097920075968559 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17740/stat : 17740 (java) S 17731 17731 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407949788 15857680384 50328 33554432000 4194304 4196468 140732296653232 140342823401184 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17741] ppid=17731 vsize=15486016 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17741/stat : 17741 (java) S 17731 17731 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407949788 15857680384 50328 33554432000 4194304 4196468 140732296653232 140342822348016 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17742] ppid=17731 vsize=15486016 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17742/stat : 17742 (java) S 17731 17731 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407949791 15857680384 50328 33554432000 4194304 4196468 140732296653232 140342619793872 140343288739739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17743] ppid=17731 vsize=15486016 memory=0 CPUtime=2.27 cores=1,3,5,7
/proc/17733/task/17743/stat : 17743 (java) R 17731 17731 14254 0 -1 4202560 3080 0 0 0 227 0 0 0 20 0 19 0 407949791 15857680384 50328 33554432000 4194304 4196468 140732296653232 140342618727544 140343272635048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17744] ppid=17731 vsize=15486016 memory=7166468868810962039 CPUtime=2.22 cores=1,3,5,7
/proc/17733/task/17744/stat : 17744 (java) R 17731 17731 14254 0 -1 4202560 3399 0 0 0 222 0 0 0 20 0 19 0 407949791 15857680384 50328 33554432000 4194304 4196468 140732296653232 140342617673392 140343270265238 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17745] ppid=17731 vsize=15486016 memory=7022499183016934638 CPUtime=0.68 cores=1,3,5,7
/proc/17733/task/17745/stat : 17745 (java) S 17731 17731 14254 0 -1 1077944384 2665 0 0 0 68 0 0 0 20 0 19 0 407949791 15857680384 50328 33554432000 4194304 4196468 140732296653232 140342616635376 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17746] ppid=17731 vsize=15486016 memory=7599669750024139874 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17746/stat : 17746 (java) S 17731 17731 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407949791 15857680384 50328 33554432000 4194304 4196468 140732296653232 140342615583072 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17747] ppid=17731 vsize=15486016 memory=-2752621353146282308 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17747/stat : 17747 (java) S 17731 17731 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407949791 15857680384 50328 33554432000 4194304 4196468 140732296653232 140342614531120 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17796] ppid=17731 vsize=15486016 memory=7600551722231224384 CPUtime=1.43 cores=1,3,5,7
/proc/17733/task/17796/stat : 17796 (java) R 17731 17731 14254 0 -1 4202560 21 0 0 0 143 0 0 0 20 0 19 0 407949994 15857680384 50328 33554432000 4194304 4196468 140732296653232 140342602164104 140342909997088 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17797] ppid=17731 vsize=15486016 memory=7007707949394126417 CPUtime=1.25 cores=1,3,5,7
/proc/17733/task/17797/stat : 17797 (java) R 17731 17731 14254 0 -1 4202560 38 0 0 0 125 0 0 0 20 0 19 0 407949994 15857680384 50328 33554432000 4194304 4196468 140732296653232 140342604269624 140342910278088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17798] ppid=17731 vsize=15486016 memory=6307362057510029724 CPUtime=1.33 cores=1,3,5,7
/proc/17733/task/17798/stat : 17798 (java) R 17731 17731 14254 0 -1 4202560 25 0 0 0 133 0 0 0 20 0 19 0 407949994 15857680384 50328 33554432000 4194304 4196468 140732296653232 140342605322648 140342911291635 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17799] ppid=17731 vsize=15486016 memory=339 CPUtime=1.54 cores=1,3,5,7
/proc/17733/task/17799/stat : 17799 (java) R 17731 17731 14254 0 -1 4202560 24 0 0 0 154 0 0 0 20 0 19 0 407949994 15857680384 50328 33554432000 4194304 4196468 140732296653232 140342603215144 140342910277617 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
Current children cumulated CPU time: 14.7 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 202764 KiB
[startup+4.40213 s]
/proc/loadavg: 7.84 8.07 8.01 11/237 17799
/proc/meminfo: memFree=30056356/32770624 swapFree=66920708/67108860
[pid=17731] ppid=17728 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17731/stat : 17731 (xcsp3-exec) S 17728 17731 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407949785 115843072 363 33554432000 4194304 5098028 140732110104400 140732110102504 139916366541436 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30871552 140732110107515 140732110107757 140732110107757 140732110110666 0
/proc/17731/statm: 28282 363 304 221 0 87 0
[pid=17733] ppid=17731 vsize=15486016 memory=203820 CPUtime=16.22 cores=1,3,5,7
/proc/17733/stat : 17733 (java) S 17731 17731 14254 0 -1 1077944320 21075 0 0 0 1614 8 0 0 20 0 19 0 407949785 15857680384 50955 33554432000 4194304 4196468 140732296653232 140732296635776 140343288721143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
/proc/17733/statm: 3871504 50955 3517 1 0 3832606 0
[pid=17733/tid=17734] ppid=17731 vsize=15486016 memory=6791534058613427641 CPUtime=0.61 cores=1,3,5,7
/proc/17733/task/17734/stat : 17734 (java) S 17731 17731 14254 0 -1 1077944384 9257 0 0 0 57 4 0 0 20 0 19 0 407949785 15857680384 50955 33554432000 4194304 4196468 140732296653232 140343292961920 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17735] ppid=17731 vsize=15486016 memory=216165704043146 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17735/stat : 17735 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407949786 15857680384 50955 33554432000 4194304 4196468 140732296653232 140343224957456 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17736] ppid=17731 vsize=15486016 memory=216165704043147 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17736/stat : 17736 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407949786 15857680384 50955 33554432000 4194304 4196468 140732296653232 140342880426640 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17737] ppid=17731 vsize=15486016 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17733/task/17737/stat : 17737 (java) S 17731 17731 14254 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 19 0 407949786 15857680384 50955 33554432000 4194304 4196468 140732296653232 140342879373584 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17738] ppid=17731 vsize=15486016 memory=3760962602947448537 CPUtime=0.01 cores=1,3,5,7
/proc/17733/task/17738/stat : 17738 (java) S 17731 17731 14254 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 19 0 407949786 15857680384 50955 33554432000 4194304 4196468 140732296653232 140342878321040 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17739] ppid=17731 vsize=15486016 memory=4641047807512697188 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17739/stat : 17739 (java) S 17731 17731 14254 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 19 0 407949788 15857680384 50955 33554432000 4194304 4196468 140732296653232 140342824454896 140343288732290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17740] ppid=17731 vsize=15486016 memory=518246873 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17740/stat : 17740 (java) S 17731 17731 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407949788 15857680384 50955 33554432000 4194304 4196468 140732296653232 140342823401184 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17741] ppid=17731 vsize=15486016 memory=280026633445312 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17741/stat : 17741 (java) S 17731 17731 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407949788 15857680384 50955 33554432000 4194304 4196468 140732296653232 140342822348016 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17742] ppid=17731 vsize=15486016 memory=280026633328120 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17742/stat : 17742 (java) S 17731 17731 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407949791 15857680384 50955 33554432000 4194304 4196468 140732296653232 140342619793872 140343288739739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17743] ppid=17731 vsize=15486016 memory=7649399358495340337 CPUtime=2.38 cores=1,3,5,7
/proc/17733/task/17743/stat : 17743 (java) R 17731 17731 14254 0 -1 4202560 3090 0 0 0 238 0 0 0 20 0 19 0 407949791 15857680384 50955 33554432000 4194304 4196468 140732296653232 140342618740976 140343268383370 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17744] ppid=17731 vsize=15486016 memory=6791534058613427641 CPUtime=2.3 cores=1,3,5,7
/proc/17733/task/17744/stat : 17744 (java) S 17731 17731 14254 0 -1 1077944384 3416 0 0 0 230 0 0 0 20 0 19 0 407949791 15857680384 50955 33554432000 4194304 4196468 140732296653232 140342617688432 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17745] ppid=17731 vsize=15486016 memory=-1891255765032775953 CPUtime=0.69 cores=1,3,5,7
/proc/17733/task/17745/stat : 17745 (java) S 17731 17731 14254 0 -1 1077944384 2673 0 0 0 69 0 0 0 20 0 19 0 407949791 15857680384 50955 33554432000 4194304 4196468 140732296653232 140342616635376 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17746] ppid=17731 vsize=15486016 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17746/stat : 17746 (java) S 17731 17731 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407949791 15857680384 50955 33554432000 4194304 4196468 140732296653232 140342615583072 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17747] ppid=17731 vsize=15486016 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17747/stat : 17747 (java) S 17731 17731 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407949791 15857680384 50955 33554432000 4194304 4196468 140732296653232 140342614531120 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17796] ppid=17731 vsize=15486016 memory=6655300316396806240 CPUtime=1.72 cores=1,3,5,7
/proc/17733/task/17796/stat : 17796 (java) R 17731 17731 14254 0 -1 4202560 22 0 0 0 172 0 0 0 20 0 19 0 407949994 15857680384 50955 33554432000 4194304 4196468 140732296653232 140342602162264 140342910656843 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17797] ppid=17731 vsize=15486016 memory=-2892745056951965031 CPUtime=1.59 cores=1,3,5,7
/proc/17733/task/17797/stat : 17797 (java) R 17731 17731 14254 0 -1 4202560 43 0 0 0 159 0 0 0 20 0 19 0 407949994 15857680384 50955 33554432000 4194304 4196468 140732296653232 140342604269992 140342910686508 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17798] ppid=17731 vsize=15486016 memory=-6237260532469557610 CPUtime=1.68 cores=1,3,5,7
/proc/17733/task/17798/stat : 17798 (java) R 17731 17731 14254 0 -1 4202560 25 0 0 0 168 0 0 0 20 0 19 0 407949994 15857680384 50955 33554432000 4194304 4196468 140732296653232 140342605321176 140342909997892 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17799] ppid=17731 vsize=15486016 memory=4206468019014099040 CPUtime=1.89 cores=1,3,5,7
/proc/17733/task/17799/stat : 17799 (java) R 17731 17731 14254 0 -1 4202560 24 0 0 0 189 0 0 0 20 0 19 0 407949994 15857680384 50955 33554432000 4194304 4196468 140732296653232 140342603214920 140342910278390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
Current children cumulated CPU time: 16.22 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 205272 KiB
[startup+4.60113 s]
/proc/loadavg: 7.84 8.07 8.01 11/237 17799
/proc/meminfo: memFree=30056356/32770624 swapFree=66920708/67108860
[pid=17731] ppid=17728 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17731/stat : 17731 (xcsp3-exec) S 17728 17731 14254 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407949785 115843072 363 33554432000 4194304 5098028 140732110104400 140732110102504 139916366541436 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30871552 140732110107515 140732110107757 140732110107757 140732110110666 0
/proc/17731/statm: 28282 363 304 221 0 87 0
[pid=17733] ppid=17731 vsize=15486016 memory=206192 CPUtime=17.02 cores=1,3,5,7
/proc/17733/stat : 17733 (java) S 17731 17731 14254 0 -1 1077944320 21885 0 0 0 1694 8 0 0 20 0 19 0 407949785 15857680384 51548 33554432000 4194304 4196468 140732296653232 140732296635776 140343288721143 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
/proc/17733/statm: 3871504 51548 3517 1 0 3832606 0
[pid=17733/tid=17734] ppid=17731 vsize=15486016 memory=216165704025411 CPUtime=0.61 cores=1,3,5,7
/proc/17733/task/17734/stat : 17734 (java) S 17731 17731 14254 0 -1 1077944384 9257 0 0 0 57 4 0 0 20 0 19 0 407949785 15857680384 51548 33554432000 4194304 4196468 140732296653232 140343292961920 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17735] ppid=17731 vsize=15486016 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17735/stat : 17735 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407949786 15857680384 51548 33554432000 4194304 4196468 140732296653232 140343224957456 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17736] ppid=17731 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17736/stat : 17736 (java) S 17731 17731 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407949786 15857680384 51548 33554432000 4194304 4196468 140732296653232 140342880426640 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17737] ppid=17731 vsize=15486016 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17733/task/17737/stat : 17737 (java) S 17731 17731 14254 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 19 0 407949786 15857680384 51548 33554432000 4194304 4196468 140732296653232 140342879373584 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17738] ppid=17731 vsize=15486016 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17733/task/17738/stat : 17738 (java) S 17731 17731 14254 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 19 0 407949786 15857680384 51548 33554432000 4194304 4196468 140732296653232 140342878321040 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17739] ppid=17731 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17739/stat : 17739 (java) S 17731 17731 14254 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 19 0 407949788 15857680384 51548 33554432000 4194304 4196468 140732296653232 140342824454896 140343288732290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17740] ppid=17731 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17740/stat : 17740 (java) S 17731 17731 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407949788 15857680384 51548 33554432000 4194304 4196468 140732296653232 140342823401184 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17741] ppid=17731 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17741/stat : 17741 (java) S 17731 17731 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407949788 15857680384 51548 33554432000 4194304 4196468 140732296653232 140342822348016 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17742] ppid=17731 vsize=15486016 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17742/stat : 17742 (java) S 17731 17731 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407949791 15857680384 51548 33554432000 4194304 4196468 140732296653232 140342619793872 140343288739739 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17743] ppid=17731 vsize=15486016 memory=0 CPUtime=2.38 cores=1,3,5,7
/proc/17733/task/17743/stat : 17743 (java) S 17731 17731 14254 0 -1 1077944384 3095 0 0 0 238 0 0 0 20 0 19 0 407949791 15857680384 51548 33554432000 4194304 4196468 140732296653232 140342618740976 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17744] ppid=17731 vsize=15486016 memory=6944656592455097440 CPUtime=2.3 cores=1,3,5,7
/proc/17733/task/17744/stat : 17744 (java) S 17731 17731 14254 0 -1 1077944384 3418 0 0 0 230 0 0 0 20 0 19 0 407949791 15857680384 51548 33554432000 4194304 4196468 140732296653232 140342617688432 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17745] ppid=17731 vsize=15486016 memory=6944656575208382560 CPUtime=0.69 cores=1,3,5,7
/proc/17733/task/17745/stat : 17745 (java) S 17731 17731 14254 0 -1 1077944384 2907 0 0 0 69 0 0 0 20 0 19 0 407949791 15857680384 51548 33554432000 4194304 4196468 140732296653232 140342616635376 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17746] ppid=17731 vsize=15486016 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17746/stat : 17746 (java) S 17731 17731 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407949791 15857680384 51548 33554432000 4194304 4196468 140732296653232 140342615583072 140343288731349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17747] ppid=17731 vsize=15486016 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/17733/task/17747/stat : 17747 (java) S 17731 17731 14254 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 407949791 15857680384 51548 33554432000 4194304 4196468 140732296653232 140342614531120 140343288732290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17796] ppid=17731 vsize=15486016 memory=6944656592455097440 CPUtime=1.91 cores=1,3,5,7
/proc/17733/task/17796/stat : 17796 (java) R 17731 17731 14254 0 -1 4202560 154 0 0 0 191 0 0 0 20 0 19 0 407949994 15857680384 51548 33554432000 4194304 4196468 140732296653232 140342602162136 140342910441967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17797] ppid=17731 vsize=15486016 memory=4945125699554088323 CPUtime=1.79 cores=1,3,5,7
/proc/17733/task/17797/stat : 17797 (java) R 17731 17731 14254 0 -1 4202560 163 0 0 0 179 0 0 0 20 0 19 0 407949994 15857680384 51548 33554432000 4194304 4196468 140732296653232 140342604269992 140342912003227 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17798] ppid=17731 vsize=15486016 memory=7377828998151301218 CPUtime=1.87 cores=1,3,5,7
/proc/17733/task/17798/stat : 17798 (java) R 17731 17731 14254 0 -1 4202560 267 0 0 0 187 0 0 0 20 0 19 0 407949994 15857680384 51548 33554432000 4194304 4196468 140732296653232 140342605321176 140342910686912 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
[pid=17733/tid=17799] ppid=17731 vsize=15486016 memory=-6876588461455810464 CPUtime=2.09 cores=1,3,5,7
/proc/17733/task/17799/stat : 17799 (java) R 17731 17731 14254 0 -1 4202560 88 0 0 0 209 0 0 0 20 0 19 0 407949994 15857680384 51548 33554432000 4194304 4196468 140732296653232 140342603215448 140342909997352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20385792 140732296659951 140732296660122 140732296660122 140732296662991 0
Current children cumulated CPU time: 17.02 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 207644 KiB
Child status: 0
Real time (s): 4.69723
CPU time (s): 17.3915
CPU user time (s): 17.2998
CPU system time (s): 0.091735
CPU usage (%): 370.25
Max. virtual memory (cumulated for all children) (KiB): 15599144
Max. memory (cumulated for all children) (KiB): 207644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.2998
system time used= 0.091735
maximum resident set size= 206604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23772
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2762
involuntary context switches= 808
# summary of solver processes directly reported to runsolver:
# pid: 17731
# total CPU time (s): 17.3915
# total CPU user time (s): 17.2998
# total CPU system time (s): 0.091735
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045749 second user time and 0.09971 second system time
The end