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 (9495 MiB free)
memory of node 1: 16384 MiB (9587 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394160-1568329917/watcher-4394160-1568329917 -o /tmp/evaluation-result-4394160-1568329917/solver-4394160-1568329917 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18218 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1288061070 HOME/instance-4394160-1568329917.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=20615, runsolver pid=20612
[startup+0.100058 s]*
/proc/loadavg: 7.15 5.84 3.94 7/234 20631
/proc/meminfo: memFree=19523496/32770624 swapFree=66959212/67108860
[pid=20615] ppid=20612 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20615/stat : 20615 (xcsp3-exec) S 20612 20615 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408931860 115843072 362 33554432000 4194304 5098028 140736279878560 140736279876664 139676105138812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30683136 140736279884666 140736279884909 140736279884909 140736279887818 0
/proc/20615/statm: 28282 362 304 221 0 87 0
[pid=20617] ppid=20615 vsize=15144768 memory=29568 CPUtime=0.13 cores=1,3,5,7
/proc/20617/stat : 20617 (java) S 20615 20615 18186 0 -1 1077944320 5811 0 0 0 12 1 0 0 20 0 15 0 408931861 15508242432 7392 33554432000 4194304 4196468 140721877593376 140721877575920 139967390441207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
/proc/20617/statm: 3786192 7392 3151 1 0 3748377 0
[pid=20617/tid=20618] ppid=20615 vsize=15144768 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/20617/task/20618/stat : 20618 (java) R 20615 20615 18186 0 -1 4202560 3711 0 0 0 8 0 0 0 20 0 15 0 408931861 15508242432 7392 33554432000 4194304 4196468 140721877593376 139967394672528 139967374521694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20619] ppid=20615 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20619/stat : 20619 (java) S 20615 20615 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408931862 15508242432 7392 33554432000 4194304 4196468 140721877593376 139967349201936 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20620] ppid=20615 vsize=15144768 memory=140069392168576 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20620/stat : 20620 (java) S 20615 20615 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408931862 15508242432 7392 33554432000 4194304 4196468 140721877593376 139967348149392 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20621] ppid=20615 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20621/stat : 20621 (java) S 20615 20615 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408931862 15508242432 7392 33554432000 4194304 4196468 140721877593376 139966981155600 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20622] ppid=20615 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20622/stat : 20622 (java) S 20615 20615 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408931862 15508242432 7392 33554432000 4194304 4196468 140721877593376 139966980103056 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20623] ppid=20615 vsize=15144768 memory=140069392168576 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20623/stat : 20623 (java) S 20615 20615 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408931863 15508242432 7392 33554432000 4194304 4196468 140721877593376 139966858995952 139967390452354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20624] ppid=20615 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20624/stat : 20624 (java) S 20615 20615 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408931864 15508242432 7392 33554432000 4194304 4196468 140721877593376 139966857942176 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20625] ppid=20615 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20625/stat : 20625 (java) S 20615 20615 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408931864 15508242432 7392 33554432000 4194304 4196468 140721877593376 139966856889072 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20626] ppid=20615 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20626/stat : 20626 (java) S 20615 20615 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408931866 15508242432 7392 33554432000 4194304 4196468 140721877593376 139966855837648 139967390459803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20627] ppid=20615 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20627/stat : 20627 (java) R 20615 20615 18186 0 -1 4202560 445 0 0 0 0 0 0 0 20 0 15 0 408931866 15508242432 7392 33554432000 4194304 4196468 140721877593376 139966854785776 139967370886496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20628] ppid=20615 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20628/stat : 20628 (java) R 20615 20615 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408931866 15508242432 7392 33554432000 4194304 4196468 140721877593376 139966853733232 139967390452354 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20629] ppid=20615 vsize=15144768 memory=140069392168576 CPUtime=0.02 cores=1,3,5,7
/proc/20617/task/20629/stat : 20629 (java) R 20615 20615 18186 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 15 0 408931866 15508242432 7392 33554432000 4194304 4196468 140721877593376 139966852677712 139967369399441 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20630] ppid=20615 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20630/stat : 20630 (java) S 20615 20615 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408931866 15508242432 7392 33554432000 4194304 4196468 140721877593376 139966851627872 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20631] ppid=20615 vsize=15144768 memory=140069392168576 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20631/stat : 20631 (java) S 20615 20615 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408931867 15508242432 7392 33554432000 4194304 4196468 140721877593376 139966850574896 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31016 KiB
[startup+0.21131 s]*
/proc/loadavg: 7.15 5.84 3.94 7/234 20631
/proc/meminfo: memFree=19511000/32770624 swapFree=66959212/67108860
[pid=20615] ppid=20612 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20615/stat : 20615 (xcsp3-exec) S 20612 20615 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408931860 115843072 362 33554432000 4194304 5098028 140736279878560 140736279876664 139676105138812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30683136 140736279884666 140736279884909 140736279884909 140736279887818 0
/proc/20615/statm: 28282 362 304 221 0 87 0
[pid=20617] ppid=20615 vsize=15144768 memory=41100 CPUtime=0.35 cores=1,3,5,7
/proc/20617/stat : 20617 (java) S 20615 20615 18186 0 -1 1077944320 9487 0 0 0 32 3 0 0 20 0 15 0 408931861 15508242432 10275 33554432000 4194304 4196468 140721877593376 140721877575920 139967390441207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
/proc/20617/statm: 3786192 10275 3309 1 0 3748377 0
[pid=20617/tid=20618] ppid=20615 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/20617/task/20618/stat : 20618 (java) R 20615 20615 18186 0 -1 4202560 6659 0 0 0 18 2 0 0 20 0 15 0 408931861 15508242432 10275 33554432000 4194304 4196468 140721877593376 139967394679024 139967374521694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20619] ppid=20615 vsize=15144768 memory=1965945 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20619/stat : 20619 (java) S 20615 20615 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408931862 15508242432 10275 33554432000 4194304 4196468 140721877593376 139967349201936 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20620] ppid=20615 vsize=15144768 memory=3907066863546349216 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20620/stat : 20620 (java) S 20615 20615 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408931862 15508242432 10275 33554432000 4194304 4196468 140721877593376 139967348149392 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20621] ppid=20615 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20621/stat : 20621 (java) S 20615 20615 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408931862 15508242432 10275 33554432000 4194304 4196468 140721877593376 139966981155600 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20622] ppid=20615 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20622/stat : 20622 (java) S 20615 20615 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408931862 15508242432 10275 33554432000 4194304 4196468 140721877593376 139966980103056 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20623] ppid=20615 vsize=15144768 memory=140069392168576 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20623/stat : 20623 (java) S 20615 20615 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408931863 15508242432 10275 33554432000 4194304 4196468 140721877593376 139966858995952 139967390452354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20624] ppid=20615 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20624/stat : 20624 (java) S 20615 20615 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408931864 15508242432 10275 33554432000 4194304 4196468 140721877593376 139966857942176 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20625] ppid=20615 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20625/stat : 20625 (java) S 20615 20615 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408931864 15508242432 10275 33554432000 4194304 4196468 140721877593376 139966856889072 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20626] ppid=20615 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20626/stat : 20626 (java) S 20615 20615 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408931866 15508242432 10275 33554432000 4194304 4196468 140721877593376 139966855837648 139967390459803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20627] ppid=20615 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20617/task/20627/stat : 20627 (java) S 20615 20615 18186 0 -1 1077944384 506 0 0 0 2 0 0 0 20 0 15 0 408931866 15508242432 10275 33554432000 4194304 4196468 140721877593376 139966854785776 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20628] ppid=20615 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20617/task/20628/stat : 20628 (java) S 20615 20615 18186 0 -1 1077944384 272 0 0 0 2 0 0 0 20 0 15 0 408931866 15508242432 10275 33554432000 4194304 4196468 140721877593376 139966853733232 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20629] ppid=20615 vsize=15144768 memory=140069392168576 CPUtime=0.08 cores=1,3,5,7
/proc/20617/task/20629/stat : 20629 (java) S 20615 20615 18186 0 -1 1077944384 744 0 0 0 8 0 0 0 20 0 15 0 408931866 15508242432 10275 33554432000 4194304 4196468 140721877593376 139966852680176 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20630] ppid=20615 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20630/stat : 20630 (java) S 20615 20615 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408931866 15508242432 10275 33554432000 4194304 4196468 140721877593376 139966851627872 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20631] ppid=20615 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20631/stat : 20631 (java) S 20615 20615 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408931867 15508242432 10275 33554432000 4194304 4196468 140721877593376 139966850574896 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42548 KiB
[startup+0.311127 s]*
/proc/loadavg: 7.15 5.84 3.94 10/234 20631
/proc/meminfo: memFree=19503852/32770624 swapFree=66959212/67108860
[pid=20615] ppid=20612 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20615/stat : 20615 (xcsp3-exec) S 20612 20615 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408931860 115843072 362 33554432000 4194304 5098028 140736279878560 140736279876664 139676105138812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30683136 140736279884666 140736279884909 140736279884909 140736279887818 0
/proc/20615/statm: 28282 362 304 221 0 87 0
[pid=20617] ppid=20615 vsize=15149024 memory=50344 CPUtime=0.54 cores=1,3,5,7
/proc/20617/stat : 20617 (java) S 20615 20615 18186 0 -1 1077944320 10887 0 0 0 50 4 0 0 20 0 15 0 408931861 15512600576 12521 33554432000 4194304 4196468 140721877593376 140721877575920 139967390441207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
/proc/20617/statm: 3787256 12586 3372 1 0 3748377 0
[pid=20617/tid=20618] ppid=20615 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/20617/task/20618/stat : 20618 (java) R 20615 20615 18186 0 -1 4202560 7847 0 0 0 27 3 0 0 20 0 15 0 408931861 15512600576 12586 33554432000 4194304 4196468 140721877593376 139967394672320 139967374521694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20619] ppid=20615 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20619/stat : 20619 (java) S 20615 20615 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408931862 15512600576 12586 33554432000 4194304 4196468 140721877593376 139967349201936 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20620] ppid=20615 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20620/stat : 20620 (java) S 20615 20615 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408931862 15512600576 12586 33554432000 4194304 4196468 140721877593376 139967348149392 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20621] ppid=20615 vsize=15149024 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20621/stat : 20621 (java) S 20615 20615 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408931862 15512600576 12592 33554432000 4194304 4196468 140721877593376 139966981155600 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20622] ppid=20615 vsize=15149024 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20622/stat : 20622 (java) S 20615 20615 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408931862 15512600576 12592 33554432000 4194304 4196468 140721877593376 139966980103056 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20623] ppid=20615 vsize=15149024 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20623/stat : 20623 (java) S 20615 20615 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408931863 15512600576 12592 33554432000 4194304 4196468 140721877593376 139966858995952 139967390452354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20624] ppid=20615 vsize=15149024 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20624/stat : 20624 (java) S 20615 20615 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408931864 15512600576 12592 33554432000 4194304 4196468 140721877593376 139966857942176 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20625] ppid=20615 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20625/stat : 20625 (java) S 20615 20615 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408931864 15512600576 12592 33554432000 4194304 4196468 140721877593376 139966856889072 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20626] ppid=20615 vsize=15149024 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20626/stat : 20626 (java) S 20615 20615 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408931866 15512600576 12592 33554432000 4194304 4196468 140721877593376 139966855837648 139967390459803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20627] ppid=20615 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/20617/task/20627/stat : 20627 (java) S 20615 20615 18186 0 -1 1077944384 537 0 0 0 4 0 0 0 20 0 15 0 408931866 15512600576 12592 33554432000 4194304 4196468 140721877593376 139966854785776 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20628] ppid=20615 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/20617/task/20628/stat : 20628 (java) R 20615 20615 18186 0 -1 4202560 382 0 0 0 5 0 0 0 20 0 15 0 408931866 15512600576 12592 33554432000 4194304 4196468 140721877593376 139966853723616 139967367702464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20629] ppid=20615 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/20617/task/20629/stat : 20629 (java) S 20615 20615 18186 0 -1 1077944384 819 0 0 0 12 0 0 0 20 0 15 0 408931866 15512600576 12592 33554432000 4194304 4196468 140721877593376 139966852680176 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20630] ppid=20615 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20630/stat : 20630 (java) S 20615 20615 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408931866 15512600576 12592 33554432000 4194304 4196468 140721877593376 139966851627872 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20631] ppid=20615 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20631/stat : 20631 (java) S 20615 20615 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408931867 15512600576 12592 33554432000 4194304 4196468 140721877593376 139966850574896 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51792 KiB
[startup+0.704882 s]
/proc/loadavg: 7.15 5.84 3.94 9/234 20631
/proc/meminfo: memFree=19488136/32770624 swapFree=66959212/67108860
[pid=20615] ppid=20612 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20615/stat : 20615 (xcsp3-exec) S 20612 20615 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408931860 115843072 362 33554432000 4194304 5098028 140736279878560 140736279876664 139676105138812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30683136 140736279884666 140736279884909 140736279884909 140736279887818 0
/proc/20615/statm: 28282 362 304 221 0 87 0
[pid=20617] ppid=20615 vsize=15151148 memory=93620 CPUtime=1.69 cores=1,3,5,7
/proc/20617/stat : 20617 (java) S 20615 20615 18186 0 -1 1077944320 14075 0 0 0 164 5 0 0 20 0 15 0 408931861 15514775552 23405 33554432000 4194304 4196468 140721877593376 140721877575920 139967390441207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
/proc/20617/statm: 3787787 23405 3464 1 0 3748889 0
[pid=20617/tid=20618] ppid=20615 vsize=15151148 memory=33 CPUtime=0.68 cores=1,3,5,7
/proc/20617/task/20618/stat : 20618 (java) D 20615 20615 18186 0 -1 4202560 9152 0 0 0 64 4 0 0 20 0 15 0 408931861 15514775552 23405 33554432000 4194304 4196468 140721877593376 139967394677336 139967374484837 0 4 0 16800975 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20619] ppid=20615 vsize=15151148 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20619/stat : 20619 (java) S 20615 20615 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408931862 15514775552 23405 33554432000 4194304 4196468 140721877593376 139967349201936 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20620] ppid=20615 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20620/stat : 20620 (java) S 20615 20615 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408931862 15514775552 23405 33554432000 4194304 4196468 140721877593376 139967348149392 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20621] ppid=20615 vsize=15151148 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20621/stat : 20621 (java) S 20615 20615 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408931862 15514775552 23405 33554432000 4194304 4196468 140721877593376 139966981155600 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20622] ppid=20615 vsize=15151148 memory=38300 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20622/stat : 20622 (java) S 20615 20615 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408931862 15514775552 23405 33554432000 4194304 4196468 140721877593376 139966980103056 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20623] ppid=20615 vsize=15151148 memory=988 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20623/stat : 20623 (java) S 20615 20615 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408931863 15514775552 23405 33554432000 4194304 4196468 140721877593376 139966858995952 139967390452354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20624] ppid=20615 vsize=15151148 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20624/stat : 20624 (java) S 20615 20615 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408931864 15514775552 23405 33554432000 4194304 4196468 140721877593376 139966857942176 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20625] ppid=20615 vsize=15151148 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20625/stat : 20625 (java) S 20615 20615 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408931864 15514775552 23405 33554432000 4194304 4196468 140721877593376 139966856889072 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20626] ppid=20615 vsize=15151148 memory=580 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20626/stat : 20626 (java) S 20615 20615 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408931866 15514775552 23405 33554432000 4194304 4196468 140721877593376 139966855837648 139967390459803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20627] ppid=20615 vsize=15151148 memory=1720 CPUtime=0.3 cores=1,3,5,7
/proc/20617/task/20627/stat : 20627 (java) D 20615 20615 18186 0 -1 4202560 1138 0 0 0 30 0 0 0 20 0 15 0 408931866 15514775552 23405 33554432000 4194304 4196468 140721877593376 139966854770328 139967382678334 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20628] ppid=20615 vsize=15151148 memory=10604 CPUtime=0.28 cores=1,3,5,7
/proc/20617/task/20628/stat : 20628 (java) R 20615 20615 18186 0 -1 4202560 749 0 0 0 28 0 0 0 20 0 15 0 408931866 15514775552 23405 33554432000 4194304 4196468 140721877593376 139966853714248 139967383158359 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20629] ppid=20615 vsize=15151148 memory=3360 CPUtime=0.4 cores=1,3,5,7
/proc/20617/task/20629/stat : 20629 (java) D 20615 20615 18186 0 -1 4202560 1728 0 0 0 40 0 0 0 20 0 15 0 408931866 15514775552 23405 33554432000 4194304 4196468 140721877593376 139966852676120 139967369382786 0 4 0 16800975 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20630] ppid=20615 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20630/stat : 20630 (java) S 20615 20615 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408931866 15514775552 23405 33554432000 4194304 4196468 140721877593376 139966851627872 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20631] ppid=20615 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20631/stat : 20631 (java) S 20615 20615 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408931867 15514775552 23405 33554432000 4194304 4196468 140721877593376 139966850574896 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 95068 KiB
[startup+1.50124 s]
/proc/loadavg: 7.15 5.84 3.94 12/238 20635
/proc/meminfo: memFree=19438620/32770624 swapFree=66959212/67108860
[pid=20615] ppid=20612 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20615/stat : 20615 (xcsp3-exec) S 20612 20615 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408931860 115843072 362 33554432000 4194304 5098028 140736279878560 140736279876664 139676105138812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30683136 140736279884666 140736279884909 140736279884909 140736279887818 0
/proc/20615/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/20617/task/20631/stat : 20631 (java) S 20615 20615 18186 0 -1 1077944384 286 0 0 0 0 2 0 0 20 0 19 0 408931867 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966850574896 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20679] ppid=20615 vsize=15417404 memory=1448 CPUtime=0.28 cores=1,3,5,7
/proc/20617/task/20679/stat : 20679 (java) R 20615 20615 18186 0 -1 4202560 17 0 0 0 28 0 0 0 20 0 19 0 408937052 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966838206152 139967033536304 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20680] ppid=20615 vsize=15417404 memory=236816 CPUtime=0.28 cores=1,3,5,7
/proc/20617/task/20680/stat : 20680 (java) R 20615 20615 18186 0 -1 4202560 17 0 0 0 28 0 0 0 20 0 19 0 408937052 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966840314328 139967033921544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20681] ppid=20615 vsize=15417404 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/20617/task/20681/stat : 20681 (java) R 20615 20615 18186 0 -1 4202560 16 0 0 0 30 0 0 0 20 0 19 0 408937052 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966841365512 139967033536208 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20682] ppid=20615 vsize=15417404 memory=4872558044660077418 CPUtime=0.3 cores=1,3,5,7
/proc/20617/task/20682/stat : 20682 (java) R 20615 20615 18186 0 -1 4202560 17 0 0 0 30 0 0 0 20 0 19 0 408937052 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966839258712 139967033536208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
Current children cumulated CPU time: 205.89 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 212068 KiB
[startup+53.0012 s]
/proc/loadavg: 8.03 6.27 4.18 9/238 20682
/proc/meminfo: memFree=19104540/32770624 swapFree=66959212/67108860
[pid=20615] ppid=20612 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20615/stat : 20615 (xcsp3-exec) S 20612 20615 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408931860 115843072 362 33554432000 4194304 5098028 140736279878560 140736279876664 139676105138812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30683136 140736279884666 140736279884909 140736279884909 140736279887818 0
/proc/20615/statm: 28282 362 304 221 0 87 0
[pid=20617] ppid=20615 vsize=15417404 memory=210620 CPUtime=209.01 cores=1,3,5,7
/proc/20617/stat : 20617 (java) S 20615 20615 18186 0 -1 1077944320 47863 0 0 0 20878 23 0 0 20 0 19 0 408931861 15787421696 52655 33554432000 4194304 4196468 140721877593376 140721877575920 139967390441207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
/proc/20617/statm: 3854351 52655 3534 1 0 3815453 0
[pid=20617/tid=20618] ppid=20615 vsize=15417404 memory=924 CPUtime=0.75 cores=1,3,5,7
/proc/20617/task/20618/stat : 20618 (java) S 20615 20615 18186 0 -1 1077944384 9402 0 0 0 71 4 0 0 20 0 19 0 408931861 15787421696 52655 33554432000 4194304 4196468 140721877593376 139967394681984 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20619] ppid=20615 vsize=15417404 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/20617/task/20619/stat : 20619 (java) S 20615 20615 18186 0 -1 1077944384 2036 0 0 0 6 2 0 0 20 0 19 0 408931862 15787421696 52655 33554432000 4194304 4196468 140721877593376 139967349201936 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20620] ppid=20615 vsize=15417404 memory=215292 CPUtime=0.08 cores=1,3,5,7
/proc/20617/task/20620/stat : 20620 (java) S 20615 20615 18186 0 -1 1077944384 493 0 0 0 6 2 0 0 20 0 19 0 408931862 15787421696 52655 33554432000 4194304 4196468 140721877593376 139967348149392 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20621] ppid=20615 vsize=15417404 memory=13252 CPUtime=0.08 cores=1,3,5,7
/proc/20617/task/20621/stat : 20621 (java) S 20615 20615 18186 0 -1 1077944384 1987 0 0 0 6 2 0 0 20 0 19 0 408931862 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966981155600 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20622] ppid=20615 vsize=15417404 memory=15460 CPUtime=0.08 cores=1,3,5,7
/proc/20617/task/20622/stat : 20622 (java) S 20615 20615 18186 0 -1 1077944384 539 0 0 0 6 2 0 0 20 0 19 0 408931862 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966980103056 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20623] ppid=20615 vsize=15417404 memory=17668 CPUtime=0.02 cores=1,3,5,7
/proc/20617/task/20623/stat : 20623 (java) S 20615 20615 18186 0 -1 1077944384 1189 0 0 0 2 0 0 0 20 0 19 0 408931863 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966858995952 139967390452354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20624] ppid=20615 vsize=15417404 memory=19876 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20624/stat : 20624 (java) S 20615 20615 18186 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 408931864 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966857942240 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20625] ppid=20615 vsize=15417404 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20625/stat : 20625 (java) S 20615 20615 18186 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 408931864 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966856889088 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20626] ppid=20615 vsize=15417404 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20626/stat : 20626 (java) S 20615 20615 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408931866 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966855837648 139967390459803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20627] ppid=20615 vsize=15417404 memory=1448 CPUtime=1.78 cores=1,3,5,7
/proc/20617/task/20627/stat : 20627 (java) S 20615 20615 18186 0 -1 1077944384 10492 0 0 0 177 1 0 0 20 0 19 0 408931866 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966854785776 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20628] ppid=20615 vsize=15417404 memory=210604 CPUtime=1.93 cores=1,3,5,7
/proc/20617/task/20628/stat : 20628 (java) S 20615 20615 18186 0 -1 1077944384 8851 0 0 0 192 1 0 0 20 0 19 0 408931866 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966853733232 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20629] ppid=20615 vsize=15417404 memory=988 CPUtime=0.75 cores=1,3,5,7
/proc/20617/task/20629/stat : 20629 (java) S 20615 20615 18186 0 -1 1077944384 6073 0 0 0 74 1 0 0 20 0 19 0 408931866 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966852680176 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20630] ppid=20615 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20630/stat : 20630 (java) S 20615 20615 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408931866 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966851627872 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20631] ppid=20615 vsize=15417404 memory=164 CPUtime=0.02 cores=1,3,5,7
/proc/20617/task/20631/stat : 20631 (java) S 20615 20615 18186 0 -1 1077944384 286 0 0 0 0 2 0 0 20 0 19 0 408931867 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966850574896 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20679] ppid=20615 vsize=15417404 memory=6944656592455359580 CPUtime=1.04 cores=1,3,5,7
/proc/20617/task/20679/stat : 20679 (java) R 20615 20615 18186 0 -1 4202560 21 0 0 0 104 0 0 0 20 0 19 0 408937052 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966838205600 139967033921472 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20680] ppid=20615 vsize=15417404 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/20617/task/20680/stat : 20680 (java) R 20615 20615 18186 0 -1 4202560 26 0 0 0 106 0 0 0 20 0 19 0 408937052 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966840313976 139967032625250 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20681] ppid=20615 vsize=15417404 memory=0 CPUtime=1.08 cores=1,3,5,7
/proc/20617/task/20681/stat : 20681 (java) R 20615 20615 18186 0 -1 4202560 21 0 0 0 108 0 0 0 20 0 19 0 408937052 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966841364744 139967033921472 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20682] ppid=20615 vsize=15417404 memory=0 CPUtime=1.08 cores=1,3,5,7
/proc/20617/task/20682/stat : 20682 (java) R 20615 20615 18186 0 -1 4202560 21 0 0 0 108 0 0 0 20 0 19 0 408937052 15787421696 52655 33554432000 4194304 4196468 140721877593376 139966839258776 139967033921609 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
Current children cumulated CPU time: 209.01 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 212068 KiB
[startup+53.4012 s]
/proc/loadavg: 8.03 6.27 4.18 11/238 20682
/proc/meminfo: memFree=19104540/32770624 swapFree=66959212/67108860
[pid=20615] ppid=20612 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20615/stat : 20615 (xcsp3-exec) S 20612 20615 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408931860 115843072 362 33554432000 4194304 5098028 140736279878560 140736279876664 139676105138812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30683136 140736279884666 140736279884909 140736279884909 140736279887818 0
/proc/20615/statm: 28282 362 304 221 0 87 0
[pid=20617] ppid=20615 vsize=15417404 memory=210736 CPUtime=210.58 cores=1,3,5,7
/proc/20617/stat : 20617 (java) S 20615 20615 18186 0 -1 1077944320 49066 0 0 0 21035 23 0 0 20 0 19 0 408931861 15787421696 52684 33554432000 4194304 4196468 140721877593376 140721877575920 139967390441207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
/proc/20617/statm: 3854351 52684 3535 1 0 3815453 0
[pid=20617/tid=20618] ppid=20615 vsize=15417404 memory=6791534058613427641 CPUtime=0.75 cores=1,3,5,7
/proc/20617/task/20618/stat : 20618 (java) S 20615 20615 18186 0 -1 1077944384 9402 0 0 0 71 4 0 0 20 0 19 0 408931861 15787421696 52684 33554432000 4194304 4196468 140721877593376 139967394681984 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20619] ppid=20615 vsize=15417404 memory=210620 CPUtime=0.08 cores=1,3,5,7
/proc/20617/task/20619/stat : 20619 (java) S 20615 20615 18186 0 -1 1077944384 2036 0 0 0 6 2 0 0 20 0 19 0 408931862 15787421696 52684 33554432000 4194304 4196468 140721877593376 139967349201936 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20620] ppid=20615 vsize=15417404 memory=14004 CPUtime=0.08 cores=1,3,5,7
/proc/20617/task/20620/stat : 20620 (java) S 20615 20615 18186 0 -1 1077944384 493 0 0 0 6 2 0 0 20 0 19 0 408931862 15787421696 52684 33554432000 4194304 4196468 140721877593376 139967348149392 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20621] ppid=20615 vsize=15417404 memory=20476 CPUtime=0.08 cores=1,3,5,7
/proc/20617/task/20621/stat : 20621 (java) S 20615 20615 18186 0 -1 1077944384 1987 0 0 0 6 2 0 0 20 0 19 0 408931862 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966981155600 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20622] ppid=20615 vsize=15417404 memory=14048 CPUtime=0.08 cores=1,3,5,7
/proc/20617/task/20622/stat : 20622 (java) S 20615 20615 18186 0 -1 1077944384 539 0 0 0 6 2 0 0 20 0 19 0 408931862 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966980103056 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20623] ppid=20615 vsize=15417404 memory=-6520478321162704286 CPUtime=0.02 cores=1,3,5,7
/proc/20617/task/20623/stat : 20623 (java) S 20615 20615 18186 0 -1 1077944384 1189 0 0 0 2 0 0 0 20 0 19 0 408931863 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966858995952 139967390452354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20624] ppid=20615 vsize=15417404 memory=-7521736447810188379 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20624/stat : 20624 (java) S 20615 20615 18186 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 408931864 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966857942240 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20625] ppid=20615 vsize=15417404 memory=-8412652160765825907 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20625/stat : 20625 (java) S 20615 20615 18186 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 408931864 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966856889088 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20626] ppid=20615 vsize=15417404 memory=-8634980985311628903 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20626/stat : 20626 (java) S 20615 20615 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408931866 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966855837648 139967390459803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20627] ppid=20615 vsize=15417404 memory=7100839878645619564 CPUtime=1.87 cores=1,3,5,7
/proc/20617/task/20627/stat : 20627 (java) S 20615 20615 18186 0 -1 1077944384 11134 0 0 0 186 1 0 0 20 0 19 0 408931866 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966854785776 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20628] ppid=20615 vsize=15417404 memory=7897517683652307531 CPUtime=2.03 cores=1,3,5,7
/proc/20617/task/20628/stat : 20628 (java) S 20615 20615 18186 0 -1 1077944384 9394 0 0 0 202 1 0 0 20 0 19 0 408931866 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966853733232 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20629] ppid=20615 vsize=15417404 memory=2988 CPUtime=0.76 cores=1,3,5,7
/proc/20617/task/20629/stat : 20629 (java) S 20615 20615 18186 0 -1 1077944384 6082 0 0 0 75 1 0 0 20 0 19 0 408931866 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966852680176 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20630] ppid=20615 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20630/stat : 20630 (java) S 20615 20615 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408931866 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966851627872 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20631] ppid=20615 vsize=15417404 memory=210404 CPUtime=0.02 cores=1,3,5,7
/proc/20617/task/20631/stat : 20631 (java) S 20615 20615 18186 0 -1 1077944384 286 0 0 0 0 2 0 0 20 0 19 0 408931867 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966850574896 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20679] ppid=20615 vsize=15417404 memory=4108 CPUtime=1.4 cores=1,3,5,7
/proc/20617/task/20679/stat : 20679 (java) R 20615 20615 18186 0 -1 4202560 23 0 0 0 140 0 0 0 20 0 19 0 408937052 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966838206088 139967034308971 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20680] ppid=20615 vsize=15417404 memory=1808 CPUtime=1.43 cores=1,3,5,7
/proc/20617/task/20680/stat : 20680 (java) R 20615 20615 18186 0 -1 4202560 32 0 0 0 143 0 0 0 20 0 19 0 408937052 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966840312024 139967032625250 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20681] ppid=20615 vsize=15417404 memory=924 CPUtime=1.41 cores=1,3,5,7
/proc/20617/task/20681/stat : 20681 (java) R 20615 20615 18186 0 -1 4202560 22 0 0 0 141 0 0 0 20 0 19 0 408937052 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966841364744 139967034308971 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20682] ppid=20615 vsize=15417404 memory=3848 CPUtime=1.4 cores=1,3,5,7
/proc/20617/task/20682/stat : 20682 (java) R 20615 20615 18186 0 -1 4202560 21 0 0 0 140 0 0 0 20 0 19 0 408937052 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966839259224 139967033921649 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
Current children cumulated CPU time: 210.58 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 212184 KiB
[startup+53.5012 s]
/proc/loadavg: 8.03 6.27 4.18 11/238 20682
/proc/meminfo: memFree=19104540/32770624 swapFree=66959212/67108860
[pid=20615] ppid=20612 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20615/stat : 20615 (xcsp3-exec) S 20612 20615 18186 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408931860 115843072 362 33554432000 4194304 5098028 140736279878560 140736279876664 139676105138812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30683136 140736279884666 140736279884909 140736279884909 140736279887818 0
/proc/20615/statm: 28282 362 304 221 0 87 0
[pid=20617] ppid=20615 vsize=15417404 memory=210736 CPUtime=210.98 cores=1,3,5,7
/proc/20617/stat : 20617 (java) S 20615 20615 18186 0 -1 1077944320 49066 0 0 0 21075 23 0 0 20 0 19 0 408931861 15787421696 52684 33554432000 4194304 4196468 140721877593376 140721877575920 139967390441207 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
/proc/20617/statm: 3854351 52684 3535 1 0 3815453 0
[pid=20617/tid=20618] ppid=20615 vsize=15417404 memory=210620 CPUtime=0.75 cores=1,3,5,7
/proc/20617/task/20618/stat : 20618 (java) S 20615 20615 18186 0 -1 1077944384 9402 0 0 0 71 4 0 0 20 0 19 0 408931861 15787421696 52684 33554432000 4194304 4196468 140721877593376 139967394681984 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20619] ppid=20615 vsize=15417404 memory=1448 CPUtime=0.08 cores=1,3,5,7
/proc/20617/task/20619/stat : 20619 (java) S 20615 20615 18186 0 -1 1077944384 2036 0 0 0 6 2 0 0 20 0 19 0 408931862 15787421696 52684 33554432000 4194304 4196468 140721877593376 139967349201936 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20620] ppid=20615 vsize=15417404 memory=210736 CPUtime=0.08 cores=1,3,5,7
/proc/20617/task/20620/stat : 20620 (java) S 20615 20615 18186 0 -1 1077944384 493 0 0 0 6 2 0 0 20 0 19 0 408931862 15787421696 52684 33554432000 4194304 4196468 140721877593376 139967348149392 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20621] ppid=20615 vsize=15417404 memory=1448 CPUtime=0.08 cores=1,3,5,7
/proc/20617/task/20621/stat : 20621 (java) S 20615 20615 18186 0 -1 1077944384 1987 0 0 0 6 2 0 0 20 0 19 0 408931862 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966981155600 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20622] ppid=20615 vsize=15417404 memory=164 CPUtime=0.08 cores=1,3,5,7
/proc/20617/task/20622/stat : 20622 (java) S 20615 20615 18186 0 -1 1077944384 539 0 0 0 6 2 0 0 20 0 19 0 408931862 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966980103056 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20623] ppid=20615 vsize=15417404 memory=4639074098508484693 CPUtime=0.02 cores=1,3,5,7
/proc/20617/task/20623/stat : 20623 (java) S 20615 20615 18186 0 -1 1077944384 1189 0 0 0 2 0 0 0 20 0 19 0 408931863 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966858995952 139967390452354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20624] ppid=20615 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20624/stat : 20624 (java) S 20615 20615 18186 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 408931864 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966857942240 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20625] ppid=20615 vsize=15417404 memory=210404 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20625/stat : 20625 (java) S 20615 20615 18186 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 408931864 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966856889088 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20626] ppid=20615 vsize=15417404 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20626/stat : 20626 (java) S 20615 20615 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408931866 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966855837648 139967390459803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20627] ppid=20615 vsize=15417404 memory=1448 CPUtime=1.87 cores=1,3,5,7
/proc/20617/task/20627/stat : 20627 (java) S 20615 20615 18186 0 -1 1077944384 11134 0 0 0 186 1 0 0 20 0 19 0 408931866 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966854785776 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20628] ppid=20615 vsize=15417404 memory=1448 CPUtime=2.03 cores=1,3,5,7
/proc/20617/task/20628/stat : 20628 (java) S 20615 20615 18186 0 -1 1077944384 9394 0 0 0 202 1 0 0 20 0 19 0 408931866 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966853733232 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20629] ppid=20615 vsize=15417404 memory=238348 CPUtime=0.76 cores=1,3,5,7
/proc/20617/task/20629/stat : 20629 (java) S 20615 20615 18186 0 -1 1077944384 6082 0 0 0 75 1 0 0 20 0 19 0 408931866 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966852680176 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20630] ppid=20615 vsize=15417404 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/20617/task/20630/stat : 20630 (java) S 20615 20615 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408931866 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966851627872 139967390451413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20631] ppid=20615 vsize=15417404 memory=288230621803970871 CPUtime=0.02 cores=1,3,5,7
/proc/20617/task/20631/stat : 20631 (java) S 20615 20615 18186 0 -1 1077944384 286 0 0 0 0 2 0 0 20 0 19 0 408931867 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966850574896 139967390452354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20679] ppid=20615 vsize=15417404 memory=71 CPUtime=1.49 cores=1,3,5,7
/proc/20617/task/20679/stat : 20679 (java) R 20615 20615 18186 0 -1 4202560 23 0 0 0 149 0 0 0 20 0 19 0 408937052 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966838206088 139967033921824 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20680] ppid=20615 vsize=15417404 memory=0 CPUtime=1.53 cores=1,3,5,7
/proc/20617/task/20680/stat : 20680 (java) R 20615 20615 18186 0 -1 4202560 32 0 0 0 153 0 0 0 20 0 19 0 408937052 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966840312024 139967033921564 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20681] ppid=20615 vsize=15417404 memory=5964 CPUtime=1.51 cores=1,3,5,7
/proc/20617/task/20681/stat : 20681 (java) R 20615 20615 18186 0 -1 4202560 22 0 0 0 151 0 0 0 20 0 19 0 408937052 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966841364744 139967034308954 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
[pid=20617/tid=20682] ppid=20615 vsize=15417404 memory=1060 CPUtime=1.5 cores=1,3,5,7
/proc/20617/task/20682/stat : 20682 (java) R 20615 20615 18186 0 -1 4202560 21 0 0 0 150 0 0 0 20 0 19 0 408937052 15787421696 52684 33554432000 4194304 4196468 140721877593376 139966839259224 139967033921594 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140721877599215 140721877599386 140721877599386 140721877602255 0
Current children cumulated CPU time: 210.98 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 212184 KiB
Child status: 0
Real time (s): 53.5481
CPU time (s): 211.162
CPU user time (s): 210.921
CPU system time (s): 0.241782
CPU usage (%): 394.341
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 239804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 210.921
system time used= 0.241782
maximum resident set size= 238356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49722
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4835
involuntary context switches= 5250
# summary of solver processes directly reported to runsolver:
# pid: 20615
# total CPU time (s): 211.162
# total CPU user time (s): 210.921
# total CPU system time (s): 0.241782
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.402349 second user time and 0.658839 second system time
The end