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 (6913 MiB free)
memory of node 1: 16384 MiB (3566 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403392-1568991449/watcher-4403392-1568991449 -o /var/tmp/evaluation-result-4403392-1568991449/solver-4403392-1568991449 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1568990707-4812 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 981369003 HOME/instance-4403392-1568991449.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6307, runsolver pid=6304
Current StackSize limit: 8192 KiB
[startup+0.101898 s]*
/proc/loadavg: 7.87 7.61 5.03 10/233 6323
/proc/meminfo: memFree=10714208/32770624 swapFree=66997180/67108860
[pid=6307] ppid=6304 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6307/stat : 6307 (xcsp3-exec) S 6304 6307 4780 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475083234 115843072 364 33554432000 4194304 5098028 140730882743328 140730882741432 140058656203388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28389376 140730882745175 140730882745433 140730882745433 140730882748358 0
/proc/6307/statm: 28282 364 306 221 0 87 0
[pid=6309] ppid=6307 vsize=15144776 memory=30064 CPUtime=0.13 cores=1,3,5,7
/proc/6309/stat : 6309 (java) S 6307 6307 4780 0 -1 1077944320 5480 0 0 0 12 1 0 0 20 0 15 0 475083235 15508250624 7516 33554432000 4194304 4196468 140731995687792 140731995670336 139838871617271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
/proc/6309/statm: 3786194 7516 3180 1 0 3748377 0
[pid=6309/tid=6310] ppid=6307 vsize=15144776 memory=7971836018889560923 CPUtime=0.09 cores=1,3,5,7
/proc/6309/task/6310/stat : 6310 (java) R 6307 6307 4780 0 -1 4202560 3376 0 0 0 8 1 0 0 20 0 15 0 475083235 15508250624 7516 33554432000 4194304 4196468 140731995687792 139838875845040 139838871629206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6311] ppid=6307 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6311/stat : 6311 (java) S 6307 6307 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475083236 15508250624 7516 33554432000 4194304 4196468 140731995687792 139838834723344 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6312] ppid=6307 vsize=15144776 memory=140659108628096 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6312/stat : 6312 (java) S 6307 6307 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475083236 15508250624 7516 33554432000 4194304 4196468 140731995687792 139838463335056 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6313] ppid=6307 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6313/stat : 6313 (java) S 6307 6307 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475083236 15508250624 7516 33554432000 4194304 4196468 140731995687792 139838462282000 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6314] ppid=6307 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6314/stat : 6314 (java) S 6307 6307 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475083236 15508250624 7516 33554432000 4194304 4196468 140731995687792 139838461229456 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6315] ppid=6307 vsize=15144776 memory=140659108628096 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6315/stat : 6315 (java) S 6307 6307 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475083237 15508250624 7516 33554432000 4194304 4196468 140731995687792 139838340123376 139838871628418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6316] ppid=6307 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6316/stat : 6316 (java) S 6307 6307 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475083238 15508250624 7516 33554432000 4194304 4196468 140731995687792 139838339069600 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6317] ppid=6307 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6317/stat : 6317 (java) S 6307 6307 4780 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475083238 15508250624 7516 33554432000 4194304 4196468 140731995687792 139838338016496 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6318] ppid=6307 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6318/stat : 6318 (java) S 6307 6307 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475083240 15508250624 7516 33554432000 4194304 4196468 140731995687792 139838336965072 139838871635867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6319] ppid=6307 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6319/stat : 6319 (java) R 6307 6307 4780 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 475083240 15508250624 7516 33554432000 4194304 4196468 140731995687792 139838335912176 139838871628418 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6320] ppid=6307 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6320/stat : 6320 (java) R 6307 6307 4780 0 -1 4202560 166 0 0 0 0 0 0 0 20 0 15 0 475083240 15508250624 7516 33554432000 4194304 4196468 140731995687792 139838334859632 139838855028242 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6321] ppid=6307 vsize=15144776 memory=140659108628096 CPUtime=0.02 cores=1,3,5,7
/proc/6309/task/6321/stat : 6321 (java) R 6307 6307 4780 0 -1 4202560 331 0 0 0 2 0 0 0 20 0 15 0 475083240 15508250624 7582 33554432000 4194304 4196468 140731995687792 139838333806576 139838850558808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6322] ppid=6307 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6322/stat : 6322 (java) S 6307 6307 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475083240 15508250624 7582 33554432000 4194304 4196468 140731995687792 139838332754272 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6323] ppid=6307 vsize=15144776 memory=140659108628096 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6323/stat : 6323 (java) S 6307 6307 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475083241 15508250624 7582 33554432000 4194304 4196468 140731995687792 139838331702320 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31520 KiB
[startup+0.210686 s]*
/proc/loadavg: 7.87 7.61 5.03 10/233 6323
/proc/meminfo: memFree=10701720/32770624 swapFree=66997180/67108860
[pid=6307] ppid=6304 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6307/stat : 6307 (xcsp3-exec) S 6304 6307 4780 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475083234 115843072 364 33554432000 4194304 5098028 140730882743328 140730882741432 140058656203388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28389376 140730882745175 140730882745433 140730882745433 140730882748358 0
/proc/6307/statm: 28282 364 306 221 0 87 0
[pid=6309] ppid=6307 vsize=15144776 memory=41304 CPUtime=0.34 cores=1,3,5,7
/proc/6309/stat : 6309 (java) S 6307 6307 4780 0 -1 1077944320 9012 0 0 0 31 3 0 0 20 0 15 0 475083235 15508250624 10326 33554432000 4194304 4196468 140731995687792 140731995670336 139838871617271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
/proc/6309/statm: 3786194 10326 3284 1 0 3748377 0
[pid=6309/tid=6310] ppid=6307 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/6309/task/6310/stat : 6310 (java) R 6307 6307 4780 0 -1 4202560 6181 0 0 0 18 2 0 0 20 0 15 0 475083235 15508250624 10326 33554432000 4194304 4196468 140731995687792 139838875854736 139838871629206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6311] ppid=6307 vsize=15144776 memory=2128865 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6311/stat : 6311 (java) S 6307 6307 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475083236 15508250624 10326 33554432000 4194304 4196468 140731995687792 139838834723344 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6312] ppid=6307 vsize=15144776 memory=140659112219893 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6312/stat : 6312 (java) S 6307 6307 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475083236 15508250624 10326 33554432000 4194304 4196468 140731995687792 139838463335056 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6313] ppid=6307 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6313/stat : 6313 (java) S 6307 6307 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475083236 15508250624 10326 33554432000 4194304 4196468 140731995687792 139838462282000 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6314] ppid=6307 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6314/stat : 6314 (java) S 6307 6307 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475083236 15508250624 10326 33554432000 4194304 4196468 140731995687792 139838461229456 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6315] ppid=6307 vsize=15144776 memory=140659108628096 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6315/stat : 6315 (java) S 6307 6307 4780 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475083237 15508250624 10326 33554432000 4194304 4196468 140731995687792 139838340123376 139838871628418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6316] ppid=6307 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6316/stat : 6316 (java) S 6307 6307 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475083238 15508250624 10326 33554432000 4194304 4196468 140731995687792 139838339069600 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6317] ppid=6307 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6317/stat : 6317 (java) S 6307 6307 4780 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475083238 15508250624 10326 33554432000 4194304 4196468 140731995687792 139838338016496 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6318] ppid=6307 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6318/stat : 6318 (java) S 6307 6307 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475083240 15508250624 10326 33554432000 4194304 4196468 140731995687792 139838336965072 139838871635867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6319] ppid=6307 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6309/task/6319/stat : 6319 (java) S 6307 6307 4780 0 -1 1077944384 486 0 0 0 2 0 0 0 20 0 15 0 475083240 15508250624 10326 33554432000 4194304 4196468 140731995687792 139838335912176 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6320] ppid=6307 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6309/task/6320/stat : 6320 (java) S 6307 6307 4780 0 -1 1077944384 294 0 0 0 2 0 0 0 20 0 15 0 475083240 15508250624 10326 33554432000 4194304 4196468 140731995687792 139838334859632 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6321] ppid=6307 vsize=15144776 memory=140659108628096 CPUtime=0.08 cores=1,3,5,7
/proc/6309/task/6321/stat : 6321 (java) S 6307 6307 4780 0 -1 1077944384 744 0 0 0 8 0 0 0 20 0 15 0 475083240 15508250624 10326 33554432000 4194304 4196468 140731995687792 139838333806576 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6322] ppid=6307 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6322/stat : 6322 (java) S 6307 6307 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475083240 15508250624 10326 33554432000 4194304 4196468 140731995687792 139838332754272 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6323] ppid=6307 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6323/stat : 6323 (java) S 6307 6307 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475083241 15508250624 10326 33554432000 4194304 4196468 140731995687792 139838331702320 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42760 KiB
[startup+0.317995 s]*
/proc/loadavg: 7.87 7.61 5.03 9/233 6323
/proc/meminfo: memFree=10694404/32770624 swapFree=66997180/67108860
[pid=6307] ppid=6304 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6307/stat : 6307 (xcsp3-exec) S 6304 6307 4780 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475083234 115843072 364 33554432000 4194304 5098028 140730882743328 140730882741432 140058656203388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28389376 140730882745175 140730882745433 140730882745433 140730882748358 0
/proc/6307/statm: 28282 364 306 221 0 87 0
[pid=6309] ppid=6307 vsize=15149032 memory=50556 CPUtime=0.54 cores=1,3,5,7
/proc/6309/stat : 6309 (java) S 6307 6307 4780 0 -1 1077944320 10402 0 0 0 50 4 0 0 20 0 15 0 475083235 15512608768 12639 33554432000 4194304 4196468 140731995687792 140731995670336 139838871617271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
/proc/6309/statm: 3787258 12639 3351 1 0 3748377 0
[pid=6309/tid=6310] ppid=6307 vsize=15149032 memory=8112282956445269571 CPUtime=0.31 cores=1,3,5,7
/proc/6309/task/6310/stat : 6310 (java) R 6307 6307 4780 0 -1 4202560 7399 0 0 0 28 3 0 0 20 0 15 0 475083235 15512608768 12647 33554432000 4194304 4196468 140731995687792 139838875852112 139838855697758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6311] ppid=6307 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6311/stat : 6311 (java) S 6307 6307 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475083236 15512608768 12647 33554432000 4194304 4196468 140731995687792 139838834723344 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6312] ppid=6307 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6312/stat : 6312 (java) S 6307 6307 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475083236 15512608768 12647 33554432000 4194304 4196468 140731995687792 139838463335056 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6313] ppid=6307 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6313/stat : 6313 (java) S 6307 6307 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475083236 15512608768 12647 33554432000 4194304 4196468 140731995687792 139838462282000 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6314] ppid=6307 vsize=15149032 memory=7161374744685748120 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6314/stat : 6314 (java) S 6307 6307 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475083236 15512608768 12647 33554432000 4194304 4196468 140731995687792 139838461229456 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6315] ppid=6307 vsize=15149032 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6315/stat : 6315 (java) S 6307 6307 4780 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475083237 15512608768 12647 33554432000 4194304 4196468 140731995687792 139838340123376 139838871628418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6316] ppid=6307 vsize=15149032 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6316/stat : 6316 (java) S 6307 6307 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475083238 15512608768 12647 33554432000 4194304 4196468 140731995687792 139838339069600 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6317] ppid=6307 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6317/stat : 6317 (java) S 6307 6307 4780 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475083238 15512608768 12647 33554432000 4194304 4196468 140731995687792 139838338016496 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6318] ppid=6307 vsize=15149032 memory=-6372718397967082684 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6318/stat : 6318 (java) S 6307 6307 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475083240 15512608768 12647 33554432000 4194304 4196468 140731995687792 139838336965072 139838871635867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6319] ppid=6307 vsize=15149032 memory=8325818968683490714 CPUtime=0.05 cores=1,3,5,7
/proc/6309/task/6319/stat : 6319 (java) S 6307 6307 4780 0 -1 1077944384 598 0 0 0 5 0 0 0 20 0 15 0 475083240 15512608768 12647 33554432000 4194304 4196468 140731995687792 139838335912176 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6320] ppid=6307 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6309/task/6320/stat : 6320 (java) S 6307 6307 4780 0 -1 1077944384 299 0 0 0 3 0 0 0 20 0 15 0 475083240 15512608768 12647 33554432000 4194304 4196468 140731995687792 139838334859632 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6321] ppid=6307 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/6309/task/6321/stat : 6321 (java) S 6307 6307 4780 0 -1 1077944384 808 0 0 0 13 0 0 0 20 0 15 0 475083240 15512608768 12647 33554432000 4194304 4196468 140731995687792 139838333806576 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6322] ppid=6307 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6322/stat : 6322 (java) S 6307 6307 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475083240 15512608768 12647 33554432000 4194304 4196468 140731995687792 139838332754272 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6323] ppid=6307 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6323/stat : 6323 (java) S 6307 6307 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475083241 15512608768 12647 33554432000 4194304 4196468 140731995687792 139838331702320 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52012 KiB
[startup+0.701001 s]
/proc/loadavg: 7.87 7.61 5.03 9/233 6323
/proc/meminfo: memFree=10671888/32770624 swapFree=66997180/67108860
[pid=6307] ppid=6304 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6307/stat : 6307 (xcsp3-exec) S 6304 6307 4780 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475083234 115843072 364 33554432000 4194304 5098028 140730882743328 140730882741432 140058656203388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28389376 140730882745175 140730882745433 140730882745433 140730882748358 0
/proc/6307/statm: 28282 364 306 221 0 87 0
[pid=6309] ppid=6307 vsize=15151156 memory=88900 CPUtime=1.79 cores=1,3,5,7
/proc/6309/stat : 6309 (java) S 6307 6307 4780 0 -1 1077944320 15456 0 0 0 173 6 0 0 20 0 15 0 475083235 15514783744 22225 33554432000 4194304 4196468 140731995687792 140731995670336 139838871617271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
/proc/6309/statm: 3787789 22225 3453 1 0 3748889 0
[pid=6309/tid=6310] ppid=6307 vsize=15151156 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/6309/task/6310/stat : 6310 (java) R 6307 6307 4780 0 -1 4202560 8786 0 0 0 63 4 0 0 20 0 15 0 475083235 15514783744 22225 33554432000 4194304 4196468 140731995687792 139838875842768 139838854792849 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6311] ppid=6307 vsize=15151156 memory=288230608904420306 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6311/stat : 6311 (java) S 6307 6307 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475083236 15514783744 22225 33554432000 4194304 4196468 140731995687792 139838834723344 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6312] ppid=6307 vsize=15151156 memory=14690786136597550 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6312/stat : 6312 (java) S 6307 6307 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475083236 15514783744 22225 33554432000 4194304 4196468 140731995687792 139838463335056 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6313] ppid=6307 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6313/stat : 6313 (java) S 6307 6307 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475083236 15514783744 22225 33554432000 4194304 4196468 140731995687792 139838462282000 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6314] ppid=6307 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6314/stat : 6314 (java) S 6307 6307 4780 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475083236 15514783744 22225 33554432000 4194304 4196468 140731995687792 139838461229456 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6315] ppid=6307 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6315/stat : 6315 (java) S 6307 6307 4780 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475083237 15514783744 22225 33554432000 4194304 4196468 140731995687792 139838340123376 139838871628418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6316] ppid=6307 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6316/stat : 6316 (java) S 6307 6307 4780 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475083238 15514783744 22225 33554432000 4194304 4196468 140731995687792 139838339069600 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6317] ppid=6307 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6317/stat : 6317 (java) S 6307 6307 4780 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475083238 15514783744 22225 33554432000 4194304 4196468 140731995687792 139838338016496 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6318] ppid=6307 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6318/stat : 6318 (java) S 6307 6307 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475083240 15514783744 22225 33554432000 4194304 4196468 140731995687792 139838336965072 139838871635867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6319] ppid=6307 vsize=15151156 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/6309/task/6319/stat : 6319 (java) R 6307 6307 4780 0 -1 4202560 1677 0 0 0 37 0 0 0 20 0 15 0 475083240 15514783744 22225 33554432000 4194304 4196468 140731995687792 139838335911360 139838857681264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6320] ppid=6307 vsize=15151156 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/6309/task/6320/stat : 6320 (java) R 6307 6307 4780 0 -1 4202560 1594 0 0 0 30 0 0 0 20 0 15 0 475083240 15514783744 22225 33554432000 4194304 4196468 140731995687792 139838334845656 139838856539024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6321] ppid=6307 vsize=15151156 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/6309/task/6321/stat : 6321 (java) R 6307 6307 4780 0 -1 4202560 2090 0 0 0 41 0 0 0 20 0 15 0 475083240 15514783744 22225 33554432000 4194304 4196468 140731995687792 139838333802488 139838863854398 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6322] ppid=6307 vsize=15151156 memory=4638778411217669456 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6322/stat : 6322 (java) S 6307 6307 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475083240 15514783744 22225 33554432000 4194304 4196468 140731995687792 139838332754272 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6323] ppid=6307 vsize=15151156 memory=7086249565366283882 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6323/stat : 6323 (java) S 6307 6307 4780 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475083241 15514783744 22225 33554432000 4194304 4196468 140731995687792 139838331702320 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 90356 KiB
[startup+1.509 s]
/proc/loadavg: 7.87 7.61 5.03 8/233 6323
/proc/meminfo: memFree=10589180/32770624 swapFree=66997180/67108860
[pid=6307] ppid=6304 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6307/stat : 6307 (xcsp3-exec) S 6304 6307 4780 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475083234 115843072 364 33554432000 4194304 5098028 140730882743328 140730882741432 140058656203388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28389376 140730882745175 140730882745433 140730882745433 140730882748358 0
/proc/6307/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 245056 KiB
[startup+29.101 s]
/proc/loadavg: 8.75 7.85 5.19 9/237 6327
/proc/meminfo: memFree=10455676/32770624 swapFree=66997180/67108860
[pid=6307] ppid=6304 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6307/stat : 6307 (xcsp3-exec) S 6304 6307 4780 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475083234 115843072 364 33554432000 4194304 5098028 140730882743328 140730882741432 140058656203388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28389376 140730882745175 140730882745433 140730882745433 140730882748358 0
/proc/6307/statm: 28282 364 306 221 0 87 0
[pid=6309] ppid=6307 vsize=15419460 memory=243608 CPUtime=114.52 cores=1,3,5,7
/proc/6309/stat : 6309 (java) S 6307 6307 4780 0 -1 1077944320 45844 0 0 0 11438 14 0 0 20 0 19 0 475083235 15789527040 60902 33554432000 4194304 4196468 140731995687792 140731995670336 139838871617271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
/proc/6309/statm: 3854865 60902 3537 1 0 3815965 0
[pid=6309/tid=6310] ppid=6307 vsize=15419460 memory=1540 CPUtime=1.03 cores=1,3,5,7
/proc/6309/task/6310/stat : 6310 (java) S 6307 6307 4780 0 -1 1077944384 10078 0 0 0 97 6 0 0 20 0 19 0 475083235 15789527040 60902 33554432000 4194304 4196468 140731995687792 139838875858048 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6311] ppid=6307 vsize=15419460 memory=772 CPUtime=0.03 cores=1,3,5,7
/proc/6309/task/6311/stat : 6311 (java) S 6307 6307 4780 0 -1 1077944384 1256 0 0 0 3 0 0 0 20 0 19 0 475083236 15789527040 60902 33554432000 4194304 4196468 140731995687792 139838834723344 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6312] ppid=6307 vsize=15419460 memory=10596 CPUtime=0.04 cores=1,3,5,7
/proc/6309/task/6312/stat : 6312 (java) S 6307 6307 4780 0 -1 1077944384 524 0 0 0 4 0 0 0 20 0 19 0 475083236 15789527040 60902 33554432000 4194304 4196468 140731995687792 139838463335056 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6313] ppid=6307 vsize=15419460 memory=1456 CPUtime=0.04 cores=1,3,5,7
/proc/6309/task/6313/stat : 6313 (java) S 6307 6307 4780 0 -1 1077944384 2653 0 0 0 4 0 0 0 20 0 19 0 475083236 15789527040 60902 33554432000 4194304 4196468 140731995687792 139838462282000 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6314] ppid=6307 vsize=15419460 memory=243600 CPUtime=0.04 cores=1,3,5,7
/proc/6309/task/6314/stat : 6314 (java) S 6307 6307 4780 0 -1 1077944384 849 0 0 0 4 0 0 0 20 0 19 0 475083236 15789527040 60902 33554432000 4194304 4196468 140731995687792 139838461229456 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6315] ppid=6307 vsize=15419460 memory=772 CPUtime=0.01 cores=1,3,5,7
/proc/6309/task/6315/stat : 6315 (java) S 6307 6307 4780 0 -1 1077944384 769 0 0 0 1 0 0 0 20 0 19 0 475083237 15789527040 60902 33554432000 4194304 4196468 140731995687792 139838340123376 139838871628418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6316] ppid=6307 vsize=15419460 memory=243600 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6316/stat : 6316 (java) S 6307 6307 4780 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 475083238 15789527040 60902 33554432000 4194304 4196468 140731995687792 139838339069664 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6317] ppid=6307 vsize=15419460 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6317/stat : 6317 (java) S 6307 6307 4780 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 19 0 475083238 15789527040 60902 33554432000 4194304 4196468 140731995687792 139838338016512 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6318] ppid=6307 vsize=15419460 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6318/stat : 6318 (java) S 6307 6307 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475083240 15789527040 60902 33554432000 4194304 4196468 140731995687792 139838336965072 139838871635867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6319] ppid=6307 vsize=15419460 memory=288230583166042426 CPUtime=2.3 cores=1,3,5,7
/proc/6309/task/6319/stat : 6319 (java) S 6307 6307 4780 0 -1 1077944384 9940 0 0 0 230 0 0 0 20 0 19 0 475083240 15789527040 60902 33554432000 4194304 4196468 140731995687792 139838335912176 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6320] ppid=6307 vsize=15419460 memory=15262532197681710 CPUtime=2.54 cores=1,3,5,7
/proc/6309/task/6320/stat : 6320 (java) S 6307 6307 4780 0 -1 1077944384 9886 0 0 0 252 2 0 0 20 0 19 0 475083240 15789527040 60902 33554432000 4194304 4196468 140731995687792 139838334859632 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6321] ppid=6307 vsize=15419460 memory=0 CPUtime=0.8 cores=1,3,5,7
/proc/6309/task/6321/stat : 6321 (java) S 6307 6307 4780 0 -1 1077944384 4993 0 0 0 79 1 0 0 20 0 19 0 475083240 15789527040 60902 33554432000 4194304 4196468 140731995687792 139838333806576 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6322] ppid=6307 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6322/stat : 6322 (java) S 6307 6307 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475083240 15789527040 60902 33554432000 4194304 4196468 140731995687792 139838332754272 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6323] ppid=6307 vsize=15419460 memory=140655883983051 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6323/stat : 6323 (java) S 6307 6307 4780 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 19 0 475083241 15789527040 60902 33554432000 4194304 4196468 140731995687792 139838331702320 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6324] ppid=6307 vsize=15419460 memory=7740402865865714259 CPUtime=26.77 cores=1,3,5,7
/proc/6309/task/6324/stat : 6324 (java) R 6307 6307 4780 0 -1 4202560 728 0 0 0 2677 0 0 0 20 0 19 0 475083340 15789527040 60902 33554432000 4194304 4196468 140731995687792 139838322482448 139838514642348 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6325] ppid=6307 vsize=15419460 memory=7741517774700827490 CPUtime=26.66 cores=1,3,5,7
/proc/6309/task/6325/stat : 6325 (java) R 6307 6307 4780 0 -1 4202560 1364 0 0 0 2666 0 0 0 20 0 19 0 475083340 15789527040 60902 33554432000 4194304 4196468 140731995687792 139838321431048 139838514953366 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6326] ppid=6307 vsize=15419460 memory=7740402865865714259 CPUtime=27.13 cores=1,3,5,7
/proc/6309/task/6326/stat : 6326 (java) R 6307 6307 4780 0 -1 4202560 296 0 0 0 2713 0 0 0 20 0 19 0 475083340 15789527040 60902 33554432000 4194304 4196468 140731995687792 139838320378184 139838515581339 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6327] ppid=6307 vsize=15419460 memory=7740402865865714515 CPUtime=27 cores=1,3,5,7
/proc/6309/task/6327/stat : 6327 (java) R 6307 6307 4780 0 -1 4202560 983 0 0 0 2700 0 0 0 20 0 19 0 475083340 15789527040 60902 33554432000 4194304 4196468 140731995687792 139838319325000 139838515675158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
Current children cumulated CPU time: 114.52 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 245064 KiB
[startup+29.901 s]
/proc/loadavg: 8.75 7.85 5.19 9/237 6327
/proc/meminfo: memFree=10455304/32770624 swapFree=66997180/67108860
[pid=6307] ppid=6304 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6307/stat : 6307 (xcsp3-exec) S 6304 6307 4780 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475083234 115843072 364 33554432000 4194304 5098028 140730882743328 140730882741432 140058656203388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28389376 140730882745175 140730882745433 140730882745433 140730882748358 0
/proc/6307/statm: 28282 364 306 221 0 87 0
[pid=6309] ppid=6307 vsize=15419460 memory=244116 CPUtime=117.69 cores=1,3,5,7
/proc/6309/stat : 6309 (java) S 6307 6307 4780 0 -1 1077944320 47903 0 0 0 11755 14 0 0 20 0 19 0 475083235 15789527040 61029 33554432000 4194304 4196468 140731995687792 140731995670336 139838871617271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
/proc/6309/statm: 3854865 61029 3537 1 0 3815965 0
[pid=6309/tid=6310] ppid=6307 vsize=15419460 memory=243600 CPUtime=1.03 cores=1,3,5,7
/proc/6309/task/6310/stat : 6310 (java) S 6307 6307 4780 0 -1 1077944384 10078 0 0 0 97 6 0 0 20 0 19 0 475083235 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838875858048 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6311] ppid=6307 vsize=15419460 memory=8112282956445269571 CPUtime=0.04 cores=1,3,5,7
/proc/6309/task/6311/stat : 6311 (java) S 6307 6307 4780 0 -1 1077944384 1573 0 0 0 4 0 0 0 20 0 19 0 475083236 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838834723344 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6312] ppid=6307 vsize=15419460 memory=772 CPUtime=0.05 cores=1,3,5,7
/proc/6309/task/6312/stat : 6312 (java) S 6307 6307 4780 0 -1 1077944384 888 0 0 0 5 0 0 0 20 0 19 0 475083236 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838463335056 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6313] ppid=6307 vsize=15419460 memory=10596 CPUtime=0.05 cores=1,3,5,7
/proc/6309/task/6313/stat : 6313 (java) S 6307 6307 4780 0 -1 1077944384 3681 0 0 0 5 0 0 0 20 0 19 0 475083236 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838462282000 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6314] ppid=6307 vsize=15419460 memory=1712 CPUtime=0.05 cores=1,3,5,7
/proc/6309/task/6314/stat : 6314 (java) S 6307 6307 4780 0 -1 1077944384 963 0 0 0 5 0 0 0 20 0 19 0 475083236 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838461229456 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6315] ppid=6307 vsize=15419460 memory=988 CPUtime=0.01 cores=1,3,5,7
/proc/6309/task/6315/stat : 6315 (java) S 6307 6307 4780 0 -1 1077944384 966 0 0 0 1 0 0 0 20 0 19 0 475083237 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838340123376 139838871628418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6316] ppid=6307 vsize=15419460 memory=3644 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6316/stat : 6316 (java) S 6307 6307 4780 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 475083238 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838339069664 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6317] ppid=6307 vsize=15419460 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6317/stat : 6317 (java) S 6307 6307 4780 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 19 0 475083238 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838338016512 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6318] ppid=6307 vsize=15419460 memory=1048 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6318/stat : 6318 (java) S 6307 6307 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475083240 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838336965072 139838871635867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6319] ppid=6307 vsize=15419460 memory=6016 CPUtime=2.3 cores=1,3,5,7
/proc/6309/task/6319/stat : 6319 (java) S 6307 6307 4780 0 -1 1077944384 9940 0 0 0 230 0 0 0 20 0 19 0 475083240 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838335912176 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6320] ppid=6307 vsize=15419460 memory=612 CPUtime=2.54 cores=1,3,5,7
/proc/6309/task/6320/stat : 6320 (java) S 6307 6307 4780 0 -1 1077944384 9886 0 0 0 252 2 0 0 20 0 19 0 475083240 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838334859632 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6321] ppid=6307 vsize=15419460 memory=3624 CPUtime=0.8 cores=1,3,5,7
/proc/6309/task/6321/stat : 6321 (java) S 6307 6307 4780 0 -1 1077944384 5022 0 0 0 79 1 0 0 20 0 19 0 475083240 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838333806576 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6322] ppid=6307 vsize=15419460 memory=54488 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6322/stat : 6322 (java) S 6307 6307 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475083240 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838332754272 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6323] ppid=6307 vsize=15419460 memory=988 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6323/stat : 6323 (java) S 6307 6307 4780 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 19 0 475083241 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838331702320 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6324] ppid=6307 vsize=15419460 memory=2016 CPUtime=27.56 cores=1,3,5,7
/proc/6309/task/6324/stat : 6324 (java) R 6307 6307 4780 0 -1 4202560 732 0 0 0 2756 0 0 0 20 0 19 0 475083340 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838322482664 139838514642560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6325] ppid=6307 vsize=15419460 memory=1424 CPUtime=27.45 cores=1,3,5,7
/proc/6309/task/6325/stat : 6325 (java) R 6307 6307 4780 0 -1 4202560 1366 0 0 0 2745 0 0 0 20 0 19 0 475083340 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838321432952 139838515581861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6326] ppid=6307 vsize=15419460 memory=8112282956445269571 CPUtime=27.92 cores=1,3,5,7
/proc/6309/task/6326/stat : 6326 (java) R 6307 6307 4780 0 -1 4202560 298 0 0 0 2792 0 0 0 20 0 19 0 475083340 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838320378184 139838515581551 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6327] ppid=6307 vsize=15419460 memory=243600 CPUtime=27.77 cores=1,3,5,7
/proc/6309/task/6327/stat : 6327 (java) R 6307 6307 4780 0 -1 4202560 985 0 0 0 2777 0 0 0 20 0 19 0 475083340 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838319324880 139838515583209 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
Current children cumulated CPU time: 117.69 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 245572 KiB
[startup+30.301 s]*
/proc/loadavg: 8.75 7.85 5.19 9/237 6327
/proc/meminfo: memFree=10455304/32770624 swapFree=66997180/67108860
[pid=6307] ppid=6304 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6307/stat : 6307 (xcsp3-exec) S 6304 6307 4780 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475083234 115843072 364 33554432000 4194304 5098028 140730882743328 140730882741432 140058656203388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28389376 140730882745175 140730882745433 140730882745433 140730882748358 0
/proc/6307/statm: 28282 364 306 221 0 87 0
[pid=6309] ppid=6307 vsize=15419460 memory=244116 CPUtime=119.31 cores=1,3,5,7
/proc/6309/stat : 6309 (java) S 6307 6307 4780 0 -1 1077944320 47922 0 0 0 11917 14 0 0 20 0 19 0 475083235 15789527040 61029 33554432000 4194304 4196468 140731995687792 140731995670336 139838871617271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
/proc/6309/statm: 3854865 61029 3537 1 0 3815965 0
[pid=6309/tid=6310] ppid=6307 vsize=15419460 memory=6944656592455359580 CPUtime=1.03 cores=1,3,5,7
/proc/6309/task/6310/stat : 6310 (java) S 6307 6307 4780 0 -1 1077944384 10078 0 0 0 97 6 0 0 20 0 19 0 475083235 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838875858048 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6311] ppid=6307 vsize=15419460 memory=6944652177228980320 CPUtime=0.04 cores=1,3,5,7
/proc/6309/task/6311/stat : 6311 (java) S 6307 6307 4780 0 -1 1077944384 1573 0 0 0 4 0 0 0 20 0 19 0 475083236 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838834723344 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6312] ppid=6307 vsize=15419460 memory=6655300316396806240 CPUtime=0.05 cores=1,3,5,7
/proc/6309/task/6312/stat : 6312 (java) S 6307 6307 4780 0 -1 1077944384 888 0 0 0 5 0 0 0 20 0 19 0 475083236 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838463335056 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6313] ppid=6307 vsize=15419460 memory=4872558044660077418 CPUtime=0.05 cores=1,3,5,7
/proc/6309/task/6313/stat : 6313 (java) S 6307 6307 4780 0 -1 1077944384 3681 0 0 0 5 0 0 0 20 0 19 0 475083236 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838462282000 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6314] ppid=6307 vsize=15419460 memory=8112282956445269571 CPUtime=0.05 cores=1,3,5,7
/proc/6309/task/6314/stat : 6314 (java) S 6307 6307 4780 0 -1 1077944384 963 0 0 0 5 0 0 0 20 0 19 0 475083236 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838461229456 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6315] ppid=6307 vsize=15419460 memory=243600 CPUtime=0.01 cores=1,3,5,7
/proc/6309/task/6315/stat : 6315 (java) S 6307 6307 4780 0 -1 1077944384 966 0 0 0 1 0 0 0 20 0 19 0 475083237 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838340123376 139838871628418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6316] ppid=6307 vsize=15419460 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6316/stat : 6316 (java) S 6307 6307 4780 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 475083238 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838339069664 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6317] ppid=6307 vsize=15419460 memory=15262532197681710 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6317/stat : 6317 (java) S 6307 6307 4780 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 19 0 475083238 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838338016512 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6318] ppid=6307 vsize=15419460 memory=309 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6318/stat : 6318 (java) S 6307 6307 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475083240 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838336965072 139838871635867 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6319] ppid=6307 vsize=15419460 memory=261700 CPUtime=2.3 cores=1,3,5,7
/proc/6309/task/6319/stat : 6319 (java) S 6307 6307 4780 0 -1 1077944384 9940 0 0 0 230 0 0 0 20 0 19 0 475083240 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838335912176 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6320] ppid=6307 vsize=15419460 memory=1456 CPUtime=2.54 cores=1,3,5,7
/proc/6309/task/6320/stat : 6320 (java) S 6307 6307 4780 0 -1 1077944384 9886 0 0 0 252 2 0 0 20 0 19 0 475083240 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838334859632 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6321] ppid=6307 vsize=15419460 memory=243600 CPUtime=0.8 cores=1,3,5,7
/proc/6309/task/6321/stat : 6321 (java) S 6307 6307 4780 0 -1 1077944384 5022 0 0 0 79 1 0 0 20 0 19 0 475083240 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838333806576 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6322] ppid=6307 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6322/stat : 6322 (java) S 6307 6307 4780 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475083240 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838332754272 139838871627477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6323] ppid=6307 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6309/task/6323/stat : 6323 (java) S 6307 6307 4780 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 19 0 475083241 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838331702320 139838871628418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6324] ppid=6307 vsize=15419460 memory=0 CPUtime=27.97 cores=1,3,5,7
/proc/6309/task/6324/stat : 6324 (java) R 6307 6307 4780 0 -1 4202560 751 0 0 0 2797 0 0 0 20 0 19 0 475083340 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838322482664 139838515534545 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6325] ppid=6307 vsize=15419460 memory=30 CPUtime=27.86 cores=1,3,5,7
/proc/6309/task/6325/stat : 6325 (java) R 6307 6307 4780 0 -1 4202560 1366 0 0 0 2786 0 0 0 20 0 19 0 475083340 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838321432952 139838515581384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6326] ppid=6307 vsize=15419460 memory=30 CPUtime=28.33 cores=1,3,5,7
/proc/6309/task/6326/stat : 6326 (java) R 6307 6307 4780 0 -1 4202560 298 0 0 0 2833 0 0 0 20 0 19 0 475083340 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838320378184 139838515581551 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
[pid=6309/tid=6327] ppid=6307 vsize=15419460 memory=0 CPUtime=28.17 cores=1,3,5,7
/proc/6309/task/6327/stat : 6327 (java) R 6307 6307 4780 0 -1 4202560 985 0 0 0 2817 0 0 0 20 0 19 0 475083340 15789527040 61029 33554432000 4194304 4196468 140731995687792 139838319324880 139838515675158 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33320960 140731995689947 140731995690122 140731995690122 140731995693007 0
Current children cumulated CPU time: 119.31 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 245572 KiB
[startup+30.5009 s]
/proc/loadavg: 8.75 7.85 5.19 9/237 6327
/proc/meminfo: memFree=10455304/32770624 swapFree=66997180/67108860
[pid=6307] ppid=6304 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/6307/stat : 6307 (xcsp3-exec) S 6304 6307 4780 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475083234 115843072 364 33554432000 4194304 5098028 140730882743328 140730882741432 140058656203388 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28389376 140730882745175 140730882745433 140730882745433 140730882748358 0
/proc/6307/statm: 28282 364 306 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB
Child status: 0
Real time (s): 30.5044
CPU time (s): 120.037
CPU user time (s): 119.879
CPU system time (s): 0.158508
CPU usage (%): 393.509
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 250212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 119.879
system time used= 0.158508
maximum resident set size= 248756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49303
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3194
involuntary context switches= 3287
# summary of solver processes directly reported to runsolver:
# pid: 6307
# total CPU time (s): 120.037
# total CPU user time (s): 119.879
# total CPU system time (s): 0.158508
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.208199 second user time and 0.391237 second system time
The end