runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246495-1500687789/watcher-4246495-1500687789 -o /tmp/evaluation-result-4246495-1500687789/solver-4246495-1500687789 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1468824127 HOME/instance-4246495-1500687789.xml
pid=21512
running on 8 cores: 1,3,5,7,9,11,13,15
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 10.74 14.25 13.80 3/264 21515
/proc/meminfo: memFree=27274048/32770624 swapFree=5860/274376
[pid=21515] ppid=21512 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21515/stat : 21515 (xcsp3-exec) S 21512 21515 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4046338 9740288 346 33554432000 4194304 5098028 140731165114736 140731165112840 140553959244412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27488256 140731165123726 140731165123936 140731165123936 140731165126635 0
/proc/21515/statm: 2378 346 289 221 0 87 0
[startup+0.100154 s]
/proc/loadavg: 10.74 14.25 13.80 3/264 21515
/proc/meminfo: memFree=27274048/32770624 swapFree=5860/274376
[pid=21515] ppid=21512 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21515/stat : 21515 (xcsp3-exec) S 21512 21515 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4046338 9740288 346 33554432000 4194304 5098028 140731165114736 140731165112840 140553959244412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27488256 140731165123726 140731165123936 140731165123936 140731165126635 0
/proc/21515/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200323 s]
/proc/loadavg: 10.74 14.25 13.80 3/264 21515
/proc/meminfo: memFree=27274048/32770624 swapFree=5860/274376
[pid=21515] ppid=21512 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21515/stat : 21515 (xcsp3-exec) S 21512 21515 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4046338 9740288 346 33554432000 4194304 5098028 140731165114736 140731165112840 140553959244412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27488256 140731165123726 140731165123936 140731165123936 140731165126635 0
/proc/21515/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300429 s]
/proc/loadavg: 10.74 14.25 13.80 3/264 21515
/proc/meminfo: memFree=27274048/32770624 swapFree=5860/274376
[pid=21515] ppid=21512 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21515/stat : 21515 (xcsp3-exec) S 21512 21515 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4046338 9740288 346 33554432000 4194304 5098028 140731165114736 140731165112840 140553959244412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27488256 140731165123726 140731165123936 140731165123936 140731165126635 0
/proc/21515/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70065 s]
/proc/loadavg: 10.74 14.25 13.80 3/264 21515
/proc/meminfo: memFree=27274048/32770624 swapFree=5860/274376
[pid=21515] ppid=21512 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21515/stat : 21515 (xcsp3-exec) S 21512 21515 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4046338 9740288 346 33554432000 4194304 5098028 140731165114736 140731165112840 140553959244412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27488256 140731165123726 140731165123936 140731165123936 140731165126635 0
/proc/21515/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50096 s]
/proc/loadavg: 10.74 14.25 13.80 10/285 21536
/proc/meminfo: memFree=26901040/32770624 swapFree=5860/274444
[pid=21515] ppid=21512 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21515/stat : 21515 (xcsp3-exec) S 21512 21515 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4046338 9740288 346 33554432000 4194304 5098028 140731165114736 140731165112840 140553959244412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27488256 140731165123726 140731165123936 140731165123936 140731165126635 0
/proc/21515/statm: 2378 346 289 221 0 87 0
[pid=21516] ppid=21515 vsize=13267208 CPUtime=4.74 cores=1,3,5,7,9,11,13,15
/proc/21516/stat : 21516 (java) S 21515 21515 7411 0 -1 1077944320 15321 0 0 0 344 130 0 0 20 0 20 0 4046338 13585620992 130237 33554432000 4194304 4196468 140729084286192 140729084268736 140561760825079 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
/proc/21516/statm: 3316802 130237 3219 1 0 3304035 0
[pid=21516/tid=21517] ppid=21515 vsize=13267208 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21517/stat : 21517 (java) R 21515 21515 7411 0 -1 4202560 6115 0 0 0 115 8 0 0 20 0 20 0 4046339 13585620992 130237 33554432000 4194304 4196468 140729084286192 140561765061368 140561402080624 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21519] ppid=21515 vsize=13267208 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21519/stat : 21519 (java) S 21515 21515 7411 0 -1 1077944384 107 0 0 0 6 15 0 0 20 0 20 0 4046340 13585620992 130237 33554432000 4194304 4196468 140729084286192 140561360235152 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21520] ppid=21515 vsize=13267208 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21520/stat : 21520 (java) S 21515 21515 7411 0 -1 1077944384 96 0 0 0 5 14 0 0 20 0 20 0 4046340 13585620992 130237 33554432000 4194304 4196468 140729084286192 140561359182352 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21521] ppid=21515 vsize=13267208 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21521/stat : 21521 (java) S 21515 21515 7411 0 -1 1077944384 111 0 0 0 7 14 0 0 20 0 20 0 4046340 13585620992 130237 33554432000 4194304 4196468 140729084286192 140561358129552 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21522] ppid=21515 vsize=13267208 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21522/stat : 21522 (java) S 21515 21515 7411 0 -1 1077944384 104 0 0 0 5 16 0 0 20 0 20 0 4046340 13585620992 130237 33554432000 4194304 4196468 140729084286192 140561357076752 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21523] ppid=21515 vsize=13267208 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21523/stat : 21523 (java) S 21515 21515 7411 0 -1 1077944384 163 0 0 0 6 16 0 0 20 0 20 0 4046340 13585620992 130237 33554432000 4194304 4196468 140729084286192 140561356024976 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21524] ppid=21515 vsize=13267208 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21524/stat : 21524 (java) S 21515 21515 7411 0 -1 1077944384 125 0 0 0 6 13 0 0 20 0 20 0 4046340 13585620992 130237 33554432000 4194304 4196468 140729084286192 140561354972176 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21525] ppid=21515 vsize=13267208 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21525/stat : 21525 (java) S 21515 21515 7411 0 -1 1077944384 92 0 0 0 6 12 0 0 20 0 20 0 4046340 13585620992 130237 33554432000 4194304 4196468 140729084286192 140561353919376 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21526] ppid=21515 vsize=13267208 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21526/stat : 21526 (java) S 21515 21515 7411 0 -1 1077944384 177 0 0 0 7 15 0 0 20 0 20 0 4046340 13585620992 130237 33554432000 4194304 4196468 140729084286192 140561352866576 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21527] ppid=21515 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21527/stat : 21527 (java) S 21515 21515 7411 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4046342 13585620992 130237 33554432000 4194304 4196468 140729084286192 140561223121264 140561760836226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21528] ppid=21515 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21528/stat : 21528 (java) S 21515 21515 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4046343 13585620992 130237 33554432000 4194304 4196468 140729084286192 140561222067296 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21529] ppid=21515 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21529/stat : 21529 (java) S 21515 21515 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4046343 13585620992 130237 33554432000 4194304 4196468 140729084286192 140561221014400 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21530] ppid=21515 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21530/stat : 21530 (java) S 21515 21515 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4046347 13585620992 130237 33554432000 4194304 4196468 140729084286192 140561219962704 140561760843675 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21531] ppid=21515 vsize=13267208 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21531/stat : 21531 (java) S 21515 21515 7411 0 -1 1077944384 1505 0 0 0 45 0 0 0 20 0 20 0 4046347 13585620992 130237 33554432000 4194304 4196468 140729084286192 140561218911088 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21532] ppid=21515 vsize=13267208 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21532/stat : 21532 (java) S 21515 21515 7411 0 -1 1077944384 1853 0 0 0 46 0 0 0 20 0 20 0 4046347 13585620992 130237 33554432000 4194304 4196468 140729084286192 140561217858288 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21533] ppid=21515 vsize=13267208 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21533/stat : 21533 (java) S 21515 21515 7411 0 -1 1077944384 1720 0 0 0 51 0 0 0 20 0 20 0 4046347 13585620992 130237 33554432000 4194304 4196468 140729084286192 140561216805488 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21534] ppid=21515 vsize=13267208 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21534/stat : 21534 (java) S 21515 21515 7411 0 -1 1077944384 1649 0 0 0 33 0 0 0 20 0 20 0 4046347 13585620992 130237 33554432000 4194304 4196468 140729084286192 140561215752688 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21535] ppid=21515 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21535/stat : 21535 (java) S 21515 21515 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4046347 13585620992 130237 33554432000 4194304 4196468 140729084286192 140561214700128 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21536] ppid=21515 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21536/stat : 21536 (java) S 21515 21515 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4046347 13585620992 130237 33554432000 4194304 4196468 140729084286192 140561213647408 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 13276720
[startup+3.101 s]
/proc/loadavg: 10.74 14.25 13.80 5/285 21536
/proc/meminfo: memFree=26472632/32770624 swapFree=5860/274444
[pid=21515] ppid=21512 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21515/stat : 21515 (xcsp3-exec) S 21512 21515 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4046338 9740288 346 33554432000 4194304 5098028 140731165114736 140731165112840 140553959244412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27488256 140731165123726 140731165123936 140731165123936 140731165126635 0
/proc/21515/statm: 2378 346 289 221 0 87 0
[pid=21516] ppid=21515 vsize=13267208 CPUtime=7.46 cores=1,3,5,7,9,11,13,15
/proc/21516/stat : 21516 (java) S 21515 21515 7411 0 -1 1077944320 17307 0 0 0 543 203 0 0 20 0 20 0 4046338 13585620992 326040 33554432000 4194304 4196468 140729084286192 140729084268736 140561760825079 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
/proc/21516/statm: 3316802 326040 3219 1 0 3304035 0
[pid=21516/tid=21517] ppid=21515 vsize=13267208 CPUtime=2.69 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21517/stat : 21517 (java) R 21515 21515 7411 0 -1 4202560 6598 0 0 0 251 18 0 0 20 0 20 0 4046339 13585620992 326040 33554432000 4194304 4196468 140729084286192 140561765059048 140561402078476 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21519] ppid=21515 vsize=13267208 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21519/stat : 21519 (java) S 21515 21515 7411 0 -1 1077944384 165 0 0 0 12 23 0 0 20 0 20 0 4046340 13585620992 326040 33554432000 4194304 4196468 140729084286192 140561360235152 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21520] ppid=21515 vsize=13267208 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21520/stat : 21520 (java) S 21515 21515 7411 0 -1 1077944384 157 0 0 0 10 22 0 0 20 0 20 0 4046340 13585620992 326040 33554432000 4194304 4196468 140729084286192 140561359182352 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21521] ppid=21515 vsize=13267208 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21521/stat : 21521 (java) S 21515 21515 7411 0 -1 1077944384 186 0 0 0 12 22 0 0 20 0 20 0 4046340 13585620992 326040 33554432000 4194304 4196468 140729084286192 140561358129552 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21522] ppid=21515 vsize=13267208 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21522/stat : 21522 (java) S 21515 21515 7411 0 -1 1077944384 400 0 0 0 11 24 0 0 20 0 20 0 4046340 13585620992 326040 33554432000 4194304 4196468 140729084286192 140561357076752 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21523] ppid=21515 vsize=13267208 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21523/stat : 21523 (java) S 21515 21515 7411 0 -1 1077944384 277 0 0 0 13 23 0 0 20 0 20 0 4046340 13585620992 326040 33554432000 4194304 4196468 140729084286192 140561356024976 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21524] ppid=21515 vsize=13267208 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21524/stat : 21524 (java) S 21515 21515 7411 0 -1 1077944384 184 0 0 0 12 21 0 0 20 0 20 0 4046340 13585620992 326040 33554432000 4194304 4196468 140729084286192 140561354972176 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21525] ppid=21515 vsize=13267208 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21525/stat : 21525 (java) S 21515 21515 7411 0 -1 1077944384 143 0 0 0 12 20 0 0 20 0 20 0 4046340 13585620992 326040 33554432000 4194304 4196468 140729084286192 140561353919376 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21526] ppid=21515 vsize=13267208 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21526/stat : 21526 (java) S 21515 21515 7411 0 -1 1077944384 285 0 0 0 14 22 0 0 20 0 20 0 4046340 13585620992 326040 33554432000 4194304 4196468 140729084286192 140561352866576 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21527] ppid=21515 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21527/stat : 21527 (java) S 21515 21515 7411 0 -1 1077944384 568 0 0 0 0 0 0 0 20 0 20 0 4046342 13585620992 326040 33554432000 4194304 4196468 140729084286192 140561223121264 140561760836226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21528] ppid=21515 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21528/stat : 21528 (java) S 21515 21515 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4046343 13585620992 326040 33554432000 4194304 4196468 140729084286192 140561222067296 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21529] ppid=21515 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21529/stat : 21529 (java) S 21515 21515 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4046343 13585620992 326040 33554432000 4194304 4196468 140729084286192 140561221014400 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21530] ppid=21515 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21530/stat : 21530 (java) S 21515 21515 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4046347 13585620992 326040 33554432000 4194304 4196468 140729084286192 140561219962704 140561760843675 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21531] ppid=21515 vsize=13267208 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21531/stat : 21531 (java) S 21515 21515 7411 0 -1 1077944384 1524 0 0 0 50 0 0 0 20 0 20 0 4046347 13585620992 326040 33554432000 4194304 4196468 140729084286192 140561218911088 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21532] ppid=21515 vsize=13267208 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21532/stat : 21532 (java) S 21515 21515 7411 0 -1 1077944384 1861 0 0 0 47 0 0 0 20 0 20 0 4046347 13585620992 326040 33554432000 4194304 4196468 140729084286192 140561217858288 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21533] ppid=21515 vsize=13267208 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21533/stat : 21533 (java) S 21515 21515 7411 0 -1 1077944384 1731 0 0 0 52 0 0 0 20 0 20 0 4046347 13585620992 326040 33554432000 4194304 4196468 140729084286192 140561216805488 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21534] ppid=21515 vsize=13267208 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21534/stat : 21534 (java) S 21515 21515 7411 0 -1 1077944384 1933 0 0 0 42 0 0 0 20 0 20 0 4046347 13585620992 326040 33554432000 4194304 4196468 140729084286192 140561215752688 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21535] ppid=21515 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21535/stat : 21535 (java) S 21515 21515 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4046347 13585620992 326040 33554432000 4194304 4196468 140729084286192 140561214700128 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21536] ppid=21515 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21536/stat : 21536 (java) S 21515 21515 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4046347 13585620992 326040 33554432000 4194304 4196468 140729084286192 140561213647408 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 13276720
[startup+6.30087 s]
/proc/loadavg: 10.04 14.05 13.74 10/285 21536
/proc/meminfo: memFree=24755640/32770624 swapFree=5860/274452
[pid=21515] ppid=21512 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21515/stat : 21515 (xcsp3-exec) S 21512 21515 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4046338 9740288 346 33554432000 4194304 5098028 140731165114736 140731165112840 140553959244412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27488256 140731165123726 140731165123936 140731165123936 140731165126635 0
/proc/21515/statm: 2378 346 289 221 0 87 0
[pid=21516] ppid=21515 vsize=13267208 CPUtime=16.4 cores=1,3,5,7,9,11,13,15
/proc/21516/stat : 21516 (java) S 21515 21515 7411 0 -1 1077944320 26305 0 0 0 1198 442 0 0 20 0 20 0 4046338 13585620992 683263 33554432000 4194304 4196468 140729084286192 140729084268736 140561760825079 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
/proc/21516/statm: 3316802 683263 3238 1 0 3304035 0
[pid=21516/tid=21517] ppid=21515 vsize=13267208 CPUtime=5.01 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21517/stat : 21517 (java) R 21515 21515 7411 0 -1 4202560 8099 0 0 0 470 31 0 0 20 0 20 0 4046339 13585620992 683263 33554432000 4194304 4196468 140729084286192 140561765059176 140561401975965 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21519] ppid=21515 vsize=13267208 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21519/stat : 21519 (java) S 21515 21515 7411 0 -1 1077944384 488 0 0 0 65 51 0 0 20 0 20 0 4046340 13585620992 683263 33554432000 4194304 4196468 140729084286192 140561360235152 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21520] ppid=21515 vsize=13267208 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21520/stat : 21520 (java) S 21515 21515 7411 0 -1 1077944384 373 0 0 0 64 49 0 0 20 0 20 0 4046340 13585620992 683263 33554432000 4194304 4196468 140729084286192 140561359182352 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21521] ppid=21515 vsize=13267208 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21521/stat : 21521 (java) S 21515 21515 7411 0 -1 1077944384 520 0 0 0 66 50 0 0 20 0 20 0 4046340 13585620992 683263 33554432000 4194304 4196468 140729084286192 140561358129552 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21522] ppid=21515 vsize=13267208 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21522/stat : 21522 (java) S 21515 21515 7411 0 -1 1077944384 1257 0 0 0 66 51 0 0 20 0 20 0 4046340 13585620992 683263 33554432000 4194304 4196468 140729084286192 140561357076752 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21523] ppid=21515 vsize=13267208 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21523/stat : 21523 (java) S 21515 21515 7411 0 -1 1077944384 518 0 0 0 65 53 0 0 20 0 20 0 4046340 13585620992 683263 33554432000 4194304 4196468 140729084286192 140561356024976 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21524] ppid=21515 vsize=13267208 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21524/stat : 21524 (java) S 21515 21515 7411 0 -1 1077944384 521 0 0 0 64 50 0 0 20 0 20 0 4046340 13585620992 683263 33554432000 4194304 4196468 140729084286192 140561354972176 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21525] ppid=21515 vsize=13267208 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21525/stat : 21525 (java) S 21515 21515 7411 0 -1 1077944384 469 0 0 0 65 49 0 0 20 0 20 0 4046340 13585620992 683263 33554432000 4194304 4196468 140729084286192 140561353919376 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21526] ppid=21515 vsize=13267208 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21526/stat : 21526 (java) S 21515 21515 7411 0 -1 1077944384 917 0 0 0 66 49 0 0 20 0 20 0 4046340 13585620992 683263 33554432000 4194304 4196468 140729084286192 140561352866576 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21527] ppid=21515 vsize=13267208 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21527/stat : 21527 (java) S 21515 21515 7411 0 -1 1077944384 4109 0 0 0 4 0 0 0 20 0 20 0 4046342 13585620992 683263 33554432000 4194304 4196468 140729084286192 140561223121264 140561760836226 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21528] ppid=21515 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21528/stat : 21528 (java) S 21515 21515 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4046343 13585620992 683263 33554432000 4194304 4196468 140729084286192 140561222067296 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21529] ppid=21515 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21529/stat : 21529 (java) S 21515 21515 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4046343 13585620992 683263 33554432000 4194304 4196468 140729084286192 140561221014400 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21530] ppid=21515 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21530/stat : 21530 (java) S 21515 21515 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4046347 13585620992 683263 33554432000 4194304 4196468 140729084286192 140561219962704 140561760843675 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
################
# More data... #
################
/proc/21516/task/21527/stat : 21527 (java) S 21515 21515 7411 0 -1 1077944384 25659 0 0 0 109 3 0 0 20 0 20 0 4046342 13587718144 2272824 33554432000 4194304 4196468 140729084286192 140561223121264 140561760836226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21528] ppid=21515 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21528/stat : 21528 (java) S 21515 21515 7411 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 4046343 13587718144 2272824 33554432000 4194304 4196468 140729084286192 140561222067296 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21529] ppid=21515 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21529/stat : 21529 (java) S 21515 21515 7411 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 20 0 4046343 13587718144 2272824 33554432000 4194304 4196468 140729084286192 140561221014400 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21530] ppid=21515 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21530/stat : 21530 (java) S 21515 21515 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4046347 13587718144 2272824 33554432000 4194304 4196468 140729084286192 140561219962704 140561760843675 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21531] ppid=21515 vsize=13269256 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21531/stat : 21531 (java) S 21515 21515 7411 0 -1 1077944384 7607 0 0 0 144 1 0 0 20 0 20 0 4046347 13587718144 2272824 33554432000 4194304 4196468 140729084286192 140561218911088 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21532] ppid=21515 vsize=13269256 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21532/stat : 21532 (java) S 21515 21515 7411 0 -1 1077944384 5096 0 0 0 109 1 0 0 20 0 20 0 4046347 13587718144 2272824 33554432000 4194304 4196468 140729084286192 140561217858288 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21533] ppid=21515 vsize=13269256 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21533/stat : 21533 (java) S 21515 21515 7411 0 -1 1077944384 8515 0 0 0 143 1 0 0 20 0 20 0 4046347 13587718144 2272824 33554432000 4194304 4196468 140729084286192 140561216805488 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21534] ppid=21515 vsize=13269256 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21534/stat : 21534 (java) S 21515 21515 7411 0 -1 1077944384 5076 0 0 0 60 1 0 0 20 0 20 0 4046347 13587718144 2272824 33554432000 4194304 4196468 140729084286192 140561215752688 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21535] ppid=21515 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21535/stat : 21535 (java) S 21515 21515 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4046347 13587718144 2272824 33554432000 4194304 4196468 140729084286192 140561214700128 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21536] ppid=21515 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21536/stat : 21536 (java) S 21515 21515 7411 0 -1 1077944384 846 0 0 0 4 6 0 0 20 0 20 0 4046347 13587718144 2272824 33554432000 4194304 4196468 140729084286192 140561213647408 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
Current children cumulated CPU time (s) 638.95
Current children cumulated vsize (KiB) 13278768
[startup+172.001 s]
/proc/loadavg: 11.02 12.80 13.30 20/299 21554
/proc/meminfo: memFree=17562900/32770624 swapFree=5860/274656
[pid=21515] ppid=21512 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21515/stat : 21515 (xcsp3-exec) S 21512 21515 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4046338 9740288 346 33554432000 4194304 5098028 140731165114736 140731165112840 140553959244412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27488256 140731165123726 140731165123936 140731165123936 140731165126635 0
/proc/21515/statm: 2378 346 289 221 0 87 0
[pid=21516] ppid=21515 vsize=13801768 CPUtime=643.96 cores=1,3,5,7,9,11,13,15
/proc/21516/stat : 21516 (java) S 21515 21515 7411 0 -1 1077944320 256786 0 0 0 61480 2916 0 0 20 0 28 0 4046338 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140729084268736 140561760825079 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
/proc/21516/statm: 3450442 2275561 3280 1 0 3437675 0
[pid=21516/tid=21517] ppid=21515 vsize=13801768 CPUtime=102.42 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21517/stat : 21517 (java) S 21515 21515 7411 0 -1 1077944384 26174 0 0 0 10185 57 0 0 20 0 28 0 4046339 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561765065856 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21519] ppid=21515 vsize=13801768 CPUtime=66.71 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21519/stat : 21519 (java) S 21515 21515 7411 0 -1 1077944384 29433 0 0 0 6316 355 0 0 20 0 28 0 4046340 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561360235152 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21520] ppid=21515 vsize=13801768 CPUtime=66.11 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21520/stat : 21520 (java) S 21515 21515 7411 0 -1 1077944384 15851 0 0 0 6254 357 0 0 20 0 28 0 4046340 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561359182352 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21521] ppid=21515 vsize=13801768 CPUtime=66.41 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21521/stat : 21521 (java) S 21515 21515 7411 0 -1 1077944384 13596 0 0 0 6294 347 0 0 20 0 28 0 4046340 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561358129552 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21522] ppid=21515 vsize=13801768 CPUtime=66.17 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21522/stat : 21522 (java) S 21515 21515 7411 0 -1 1077944384 19851 0 0 0 6260 357 0 0 20 0 28 0 4046340 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561357076752 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21523] ppid=21515 vsize=13801768 CPUtime=66.82 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21523/stat : 21523 (java) S 21515 21515 7411 0 -1 1077944384 25859 0 0 0 6321 361 0 0 20 0 28 0 4046340 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561356024976 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21524] ppid=21515 vsize=13801768 CPUtime=66 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21524/stat : 21524 (java) S 21515 21515 7411 0 -1 1077944384 16100 0 0 0 6234 366 0 0 20 0 28 0 4046340 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561354972176 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21525] ppid=21515 vsize=13801768 CPUtime=66.33 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21525/stat : 21525 (java) S 21515 21515 7411 0 -1 1077944384 30635 0 0 0 6276 357 0 0 20 0 28 0 4046340 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561353919376 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21526] ppid=21515 vsize=13801768 CPUtime=66.2 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21526/stat : 21526 (java) S 21515 21515 7411 0 -1 1077944384 16688 0 0 0 6282 338 0 0 20 0 28 0 4046340 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561352866576 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21527] ppid=21515 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21527/stat : 21527 (java) S 21515 21515 7411 0 -1 1077944384 25668 0 0 0 109 3 0 0 20 0 28 0 4046342 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561223121264 140561760836226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21528] ppid=21515 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21528/stat : 21528 (java) S 21515 21515 7411 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 4046343 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561222067296 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21529] ppid=21515 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21529/stat : 21529 (java) S 21515 21515 7411 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 28 0 4046343 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561221014400 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21530] ppid=21515 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21530/stat : 21530 (java) S 21515 21515 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4046347 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561219962704 140561760843675 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21531] ppid=21515 vsize=13801768 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21531/stat : 21531 (java) R 21515 21515 7411 0 -1 4202560 11031 0 0 0 181 1 0 0 20 0 28 0 4046347 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561218897112 140561745948899 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21532] ppid=21515 vsize=13801768 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21532/stat : 21532 (java) S 21515 21515 7411 0 -1 1077944384 6322 0 0 0 137 1 0 0 20 0 28 0 4046347 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561217858288 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21533] ppid=21515 vsize=13801768 CPUtime=1.79 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21533/stat : 21533 (java) R 21515 21515 7411 0 -1 4202560 11290 0 0 0 177 2 0 0 20 0 28 0 4046347 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561216791888 140561742369279 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21534] ppid=21515 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21534/stat : 21534 (java) S 21515 21515 7411 0 -1 1077944384 5598 0 0 0 64 1 0 0 20 0 28 0 4046347 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561215752688 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21535] ppid=21515 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21535/stat : 21535 (java) S 21515 21515 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4046347 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561214700128 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21536] ppid=21515 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21536/stat : 21536 (java) S 21515 21515 7411 0 -1 1077944384 846 0 0 0 4 6 0 0 20 0 28 0 4046347 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561213647408 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21547] ppid=21515 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21547/stat : 21547 (java) R 21515 21515 7411 0 -1 4202560 62 0 0 0 48 0 0 0 20 0 28 0 4063476 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561205630568 140561403400336 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21548] ppid=21515 vsize=13801768 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21548/stat : 21548 (java) R 21515 21515 7411 0 -1 4202560 48 0 0 0 54 0 0 0 20 0 28 0 4063476 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561204577184 140561400936591 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21549] ppid=21515 vsize=13801768 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21549/stat : 21549 (java) R 21515 21515 7411 0 -1 4202560 77 0 0 0 47 0 0 0 20 0 28 0 4063476 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561203528128 140561400936477 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21550] ppid=21515 vsize=13801768 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21550/stat : 21550 (java) R 21515 21515 7411 0 -1 4202560 37 0 0 0 41 0 0 0 20 0 28 0 4063476 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561202477840 140561400936591 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21551] ppid=21515 vsize=13801768 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21551/stat : 21551 (java) R 21515 21515 7411 0 -1 4202560 35 0 0 0 43 0 0 0 20 0 28 0 4063476 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561201421528 140561400936523 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21552] ppid=21515 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21552/stat : 21552 (java) R 21515 21515 7411 0 -1 4202560 29 0 0 0 52 0 0 0 20 0 28 0 4063476 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561200368728 140561400936434 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21553] ppid=21515 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21553/stat : 21553 (java) R 21515 21515 7411 0 -1 4202560 30 0 0 0 33 0 0 0 20 0 28 0 4063476 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561199315928 140561400936541 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21554] ppid=21515 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21554/stat : 21554 (java) R 21515 21515 7411 0 -1 4202560 32 0 0 0 56 0 0 0 20 0 28 0 4063477 14133010432 2275561 33554432000 4194304 4196468 140729084286192 140561198264248 140561400936454 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
Current children cumulated CPU time (s) 643.96
Current children cumulated vsize (KiB) 13811280
[startup+172.201 s]
/proc/loadavg: 11.02 12.80 13.30 20/299 21554
/proc/meminfo: memFree=17562900/32770624 swapFree=5860/274656
[pid=21515] ppid=21512 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21515/stat : 21515 (xcsp3-exec) S 21512 21515 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4046338 9740288 346 33554432000 4194304 5098028 140731165114736 140731165112840 140553959244412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27488256 140731165123726 140731165123936 140731165123936 140731165126635 0
/proc/21515/statm: 2378 346 289 221 0 87 0
[pid=21516] ppid=21515 vsize=13801768 CPUtime=645.56 cores=1,3,5,7,9,11,13,15
/proc/21516/stat : 21516 (java) S 21515 21515 7411 0 -1 1077944320 258252 0 0 0 61639 2917 0 0 20 0 28 0 4046338 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140729084268736 140561760825079 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
/proc/21516/statm: 3450442 2276618 3281 1 0 3437675 0
[pid=21516/tid=21517] ppid=21515 vsize=13801768 CPUtime=102.42 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21517/stat : 21517 (java) S 21515 21515 7411 0 -1 1077944384 26174 0 0 0 10185 57 0 0 20 0 28 0 4046339 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561765065856 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21519] ppid=21515 vsize=13801768 CPUtime=66.71 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21519/stat : 21519 (java) S 21515 21515 7411 0 -1 1077944384 29433 0 0 0 6316 355 0 0 20 0 28 0 4046340 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561360235152 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21520] ppid=21515 vsize=13801768 CPUtime=66.11 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21520/stat : 21520 (java) S 21515 21515 7411 0 -1 1077944384 15851 0 0 0 6254 357 0 0 20 0 28 0 4046340 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561359182352 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21521] ppid=21515 vsize=13801768 CPUtime=66.41 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21521/stat : 21521 (java) S 21515 21515 7411 0 -1 1077944384 13596 0 0 0 6294 347 0 0 20 0 28 0 4046340 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561358129552 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21522] ppid=21515 vsize=13801768 CPUtime=66.17 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21522/stat : 21522 (java) S 21515 21515 7411 0 -1 1077944384 19851 0 0 0 6260 357 0 0 20 0 28 0 4046340 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561357076752 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21523] ppid=21515 vsize=13801768 CPUtime=66.82 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21523/stat : 21523 (java) S 21515 21515 7411 0 -1 1077944384 25859 0 0 0 6321 361 0 0 20 0 28 0 4046340 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561356024976 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21524] ppid=21515 vsize=13801768 CPUtime=66 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21524/stat : 21524 (java) S 21515 21515 7411 0 -1 1077944384 16100 0 0 0 6234 366 0 0 20 0 28 0 4046340 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561354972176 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21525] ppid=21515 vsize=13801768 CPUtime=66.33 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21525/stat : 21525 (java) S 21515 21515 7411 0 -1 1077944384 30635 0 0 0 6276 357 0 0 20 0 28 0 4046340 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561353919376 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21526] ppid=21515 vsize=13801768 CPUtime=66.2 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21526/stat : 21526 (java) S 21515 21515 7411 0 -1 1077944384 16688 0 0 0 6282 338 0 0 20 0 28 0 4046340 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561352866576 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21527] ppid=21515 vsize=13801768 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21527/stat : 21527 (java) S 21515 21515 7411 0 -1 1077944384 25668 0 0 0 109 3 0 0 20 0 28 0 4046342 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561223121264 140561760836226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21528] ppid=21515 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21528/stat : 21528 (java) S 21515 21515 7411 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 4046343 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561222067296 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21529] ppid=21515 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21529/stat : 21529 (java) S 21515 21515 7411 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 28 0 4046343 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561221014400 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21530] ppid=21515 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21530/stat : 21530 (java) S 21515 21515 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4046347 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561219962704 140561760843675 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21531] ppid=21515 vsize=13801768 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21531/stat : 21531 (java) R 21515 21515 7411 0 -1 4202560 11444 0 0 0 197 1 0 0 20 0 28 0 4046347 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561218896968 140561745949117 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21532] ppid=21515 vsize=13801768 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21532/stat : 21532 (java) R 21515 21515 7411 0 -1 1077944384 6835 0 0 0 150 1 0 0 20 0 28 0 4046347 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561217849616 140561760835285 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21533] ppid=21515 vsize=13801768 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21533/stat : 21533 (java) R 21515 21515 7411 0 -1 4202560 11782 0 0 0 194 2 0 0 20 0 28 0 4046347 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561216791648 140561742369297 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21534] ppid=21515 vsize=13801768 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21534/stat : 21534 (java) S 21515 21515 7411 0 -1 1077944384 5628 0 0 0 66 1 0 0 20 0 28 0 4046347 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561215752688 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21535] ppid=21515 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21535/stat : 21535 (java) S 21515 21515 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4046347 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561214700128 140561760835285 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21536] ppid=21515 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21536/stat : 21536 (java) S 21515 21515 7411 0 -1 1077944384 846 0 0 0 4 6 0 0 20 0 28 0 4046347 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561213647408 140561760836226 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21547] ppid=21515 vsize=13801768 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21547/stat : 21547 (java) R 21515 21515 7411 0 -1 4202560 62 0 0 0 62 0 0 0 20 0 28 0 4063476 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561205631160 140561402289526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21548] ppid=21515 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21548/stat : 21548 (java) R 21515 21515 7411 0 -1 4202560 48 0 0 0 66 0 0 0 20 0 28 0 4063476 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561204578936 140561403740181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21549] ppid=21515 vsize=13801768 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21549/stat : 21549 (java) R 21515 21515 7411 0 -1 4202560 84 0 0 0 62 0 0 0 20 0 28 0 4063476 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561203530200 140561398440731 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21550] ppid=21515 vsize=13801768 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21550/stat : 21550 (java) R 21515 21515 7411 0 -1 4202560 38 0 0 0 51 0 0 0 20 0 28 0 4063476 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561202474784 140561400936591 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21551] ppid=21515 vsize=13801768 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21551/stat : 21551 (java) R 21515 21515 7411 0 -1 4202560 35 0 0 0 55 0 0 0 20 0 28 0 4063476 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561201421312 140561403540343 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21552] ppid=21515 vsize=13801768 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21552/stat : 21552 (java) R 21515 21515 7411 0 -1 4202560 36 0 0 0 71 0 0 0 20 0 28 0 4063476 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561200372112 140561760846426 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21553] ppid=21515 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21553/stat : 21553 (java) R 21515 21515 7411 0 -1 4202560 35 0 0 0 52 0 0 0 20 0 28 0 4063476 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561199315960 140561403089790 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
[pid=21516/tid=21554] ppid=21515 vsize=13801768 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21554/stat : 21554 (java) R 21515 21515 7411 0 -1 4202560 32 0 0 0 68 0 0 0 20 0 28 0 4063477 14133010432 2276618 33554432000 4194304 4196468 140729084286192 140561198263152 140561398463501 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 6864896 140729084294332 140729084294508 140729084294508 140729084297167 0
Current children cumulated CPU time (s) 645.56
Current children cumulated vsize (KiB) 13811280
[startup+172.302 s]
/proc/loadavg: 11.02 12.80 13.30 20/299 21554
/proc/meminfo: memFree=17562900/32770624 swapFree=5860/274656
[pid=21515] ppid=21512 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21515/stat : 21515 (xcsp3-exec) S 21512 21515 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4046338 9740288 346 33554432000 4194304 5098028 140731165114736 140731165112840 140553959244412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 27488256 140731165123726 140731165123936 140731165123936 140731165126635 0
/proc/21515/statm: 2378 346 289 221 0 87 0
[pid=21516] ppid=21515 vsize=0 CPUtime=646 cores=1,3,5,7,9,11,13,15
/proc/21516/stat : 21516 (java) Z 21515 21515 7411 0 -1 4227084 258381 0 0 0 61681 2919 0 0 20 0 2 0 4046338 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/21516/statm: 0 0 0 0 0 0 0
[pid=21516/tid=21531] ppid=21515 vsize=0 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/21516/task/21531/stat : 21531 (java) R 21515 21515 7411 0 -1 4203588 11444 0 0 0 202 3 0 0 20 0 2 0 4046347 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 11 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 646
Current children cumulated vsize (KiB) 9512
Child status: 0
Real time (s): 172.331
CPU time (s): 646.038
CPU user time (s): 616.817
CPU system time (s): 29.2213
CPU usage (%): 374.883
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 616.817
system time used= 29.2213
maximum resident set size= 9107512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258910
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18506
involuntary context switches= 55248
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.63321 second user time and 1.62185 second system time
The end