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-4245672-1500686056/watcher-4245672-1500686056 -o /tmp/evaluation-result-4245672-1500686056/solver-4245672-1500686056 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2099188050 HOME/instance-4245672-1500686056.xml
pid=2659
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: 15.48 15.34 14.99 11/275 2662
/proc/meminfo: memFree=30423536/32770624 swapFree=5900/227868
[pid=2662] ppid=2659 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2662/stat : 2662 (xcsp3-exec) S 2659 2662 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3872516 9740288 346 33554432000 4194304 5098028 140723789067184 140723789065288 140289627128444 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14544896 140723789075598 140723789075808 140723789075808 140723789078507 0
/proc/2662/statm: 2378 346 289 221 0 87 0
[startup+0.10013 s]
/proc/loadavg: 15.48 15.34 14.99 11/275 2662
/proc/meminfo: memFree=30423536/32770624 swapFree=5900/227868
[pid=2662] ppid=2659 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2662/stat : 2662 (xcsp3-exec) S 2659 2662 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3872516 9740288 346 33554432000 4194304 5098028 140723789067184 140723789065288 140289627128444 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14544896 140723789075598 140723789075808 140723789075808 140723789078507 0
/proc/2662/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200317 s]
/proc/loadavg: 15.48 15.34 14.99 11/275 2662
/proc/meminfo: memFree=30423536/32770624 swapFree=5900/227868
[pid=2662] ppid=2659 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2662/stat : 2662 (xcsp3-exec) S 2659 2662 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3872516 9740288 346 33554432000 4194304 5098028 140723789067184 140723789065288 140289627128444 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14544896 140723789075598 140723789075808 140723789075808 140723789078507 0
/proc/2662/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300264 s]
/proc/loadavg: 15.48 15.34 14.99 11/275 2662
/proc/meminfo: memFree=30423536/32770624 swapFree=5900/227868
[pid=2662] ppid=2659 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2662/stat : 2662 (xcsp3-exec) S 2659 2662 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3872516 9740288 346 33554432000 4194304 5098028 140723789067184 140723789065288 140289627128444 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14544896 140723789075598 140723789075808 140723789075808 140723789078507 0
/proc/2662/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700184 s]
/proc/loadavg: 15.48 15.34 14.99 11/275 2662
/proc/meminfo: memFree=30423536/32770624 swapFree=5900/227868
[pid=2662] ppid=2659 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2662/stat : 2662 (xcsp3-exec) S 2659 2662 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3872516 9740288 346 33554432000 4194304 5098028 140723789067184 140723789065288 140289627128444 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14544896 140723789075598 140723789075808 140723789075808 140723789078507 0
/proc/2662/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5012 s]
/proc/loadavg: 15.48 15.34 14.99 20/304 2763
/proc/meminfo: memFree=30249072/32770624 swapFree=5900/227900
[pid=2662] ppid=2659 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2662/stat : 2662 (xcsp3-exec) S 2659 2662 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3872516 9740288 346 33554432000 4194304 5098028 140723789067184 140723789065288 140289627128444 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14544896 140723789075598 140723789075808 140723789075808 140723789078507 0
/proc/2662/statm: 2378 346 289 221 0 87 0
[pid=2663] ppid=2662 vsize=13802796 CPUtime=7.07 cores=1,3,5,7,9,11,13,15
/proc/2663/stat : 2663 (java) S 2662 2662 16913 0 -1 1077944320 20708 0 0 0 692 15 0 0 20 0 28 0 3872516 14134063104 51328 33554432000 4194304 4196468 140735573402816 140735573385360 140036906389239 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
/proc/2663/statm: 3450699 51328 3234 1 0 3437932 0
[pid=2663/tid=2664] ppid=2662 vsize=13802796 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2664/stat : 2664 (java) S 2662 2662 16913 0 -1 1077944384 6495 0 0 0 70 2 0 0 20 0 28 0 3872517 14134063104 51328 33554432000 4194304 4196468 140735573402816 140036910630016 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2666] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2666/stat : 2666 (java) S 2662 2662 16913 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 3872518 14134063104 51328 33554432000 4194304 4196468 140735573402816 140036873947408 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2667] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2667/stat : 2667 (java) S 2662 2662 16913 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 3872518 14134063104 51328 33554432000 4194304 4196468 140735573402816 140036872894864 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2668] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2668/stat : 2668 (java) S 2662 2662 16913 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 3872518 14134063104 51328 33554432000 4194304 4196468 140735573402816 140036503964176 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2669] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2669/stat : 2669 (java) S 2662 2662 16913 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 3872518 14134063104 51328 33554432000 4194304 4196468 140735573402816 140036502911632 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2670] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2670/stat : 2670 (java) S 2662 2662 16913 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 3872518 14134063104 51328 33554432000 4194304 4196468 140735573402816 140036501859088 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2671] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2671/stat : 2671 (java) S 2662 2662 16913 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3872518 14134063104 51328 33554432000 4194304 4196468 140735573402816 140036500806544 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2672] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2672/stat : 2672 (java) S 2662 2662 16913 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 3872518 14134063104 51328 33554432000 4194304 4196468 140735573402816 140036499754000 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2673] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2673/stat : 2673 (java) S 2662 2662 16913 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 3872518 14134063104 51328 33554432000 4194304 4196468 140735573402816 140036498701456 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2674] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2674/stat : 2674 (java) S 2662 2662 16913 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3872520 14134063104 51328 33554432000 4194304 4196468 140735573402816 140036234418160 140036906400386 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2675] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2675/stat : 2675 (java) S 2662 2662 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3872521 14134063104 51328 33554432000 4194304 4196468 140735573402816 140036233364384 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2676] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2676/stat : 2676 (java) S 2662 2662 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3872521 14134063104 51328 33554432000 4194304 4196468 140735573402816 140036232311792 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2677] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2677/stat : 2677 (java) S 2662 2662 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3872525 14134063104 51328 33554432000 4194304 4196468 140735573402816 140036231260368 140036906407835 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2678] ppid=2662 vsize=13802796 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2678/stat : 2678 (java) R 2662 2662 16913 0 -1 4202560 2334 0 0 0 79 0 0 0 20 0 28 0 3872525 14134063104 51328 33554432000 4194304 4196468 140735573402816 140036230200472 140036889918409 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2679] ppid=2662 vsize=13802796 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2679/stat : 2679 (java) R 2662 2662 16913 0 -1 4202560 2233 0 0 0 87 0 0 0 20 0 28 0 3872525 14134063104 51328 33554432000 4194304 4196468 140735573402816 140036229136640 140036906410586 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2680] ppid=2662 vsize=13802796 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2680/stat : 2680 (java) R 2662 2662 16913 0 -1 4202560 2246 0 0 0 83 0 0 0 20 0 28 0 3872525 14134063104 51328 33554432000 4194304 4196468 140735573402816 140036228088920 140036886075193 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2681] ppid=2662 vsize=13802796 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2681/stat : 2681 (java) S 2662 2662 16913 0 -1 1077944384 2949 0 0 0 70 1 0 0 20 0 28 0 3872525 14134063104 51328 33554432000 4194304 4196468 140735573402816 140036227050352 140036906400386 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2682] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2682/stat : 2682 (java) S 2662 2662 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3872525 14134063104 51328 33554432000 4194304 4196468 140735573402816 140036225997024 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2683] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2683/stat : 2683 (java) S 2662 2662 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3872525 14134063104 51328 33554432000 4194304 4196468 140735573402816 140036224944560 140036906400386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 13812308
[startup+3.10147 s]
/proc/loadavg: 15.48 15.34 14.99 20/304 2859
/proc/meminfo: memFree=30207636/32770624 swapFree=5900/227900
[pid=2662] ppid=2659 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2662/stat : 2662 (xcsp3-exec) S 2659 2662 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3872516 9740288 346 33554432000 4194304 5098028 140723789067184 140723789065288 140289627128444 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14544896 140723789075598 140723789075808 140723789075808 140723789078507 0
/proc/2662/statm: 2378 346 289 221 0 87 0
[pid=2663] ppid=2662 vsize=13802796 CPUtime=18.75 cores=1,3,5,7,9,11,13,15
/proc/2663/stat : 2663 (java) S 2662 2662 16913 0 -1 1077944320 23752 0 0 0 1854 21 0 0 20 0 28 0 3872516 14134063104 57540 33554432000 4194304 4196468 140735573402816 140735573385360 140036906389239 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
/proc/2663/statm: 3450699 57540 3258 1 0 3437932 0
[pid=2663/tid=2664] ppid=2662 vsize=13802796 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2664/stat : 2664 (java) S 2662 2662 16913 0 -1 1077944384 6496 0 0 0 71 2 0 0 20 0 28 0 3872517 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036910630016 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2666] ppid=2662 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2666/stat : 2666 (java) S 2662 2662 16913 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 28 0 3872518 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036873947408 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2667] ppid=2662 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2667/stat : 2667 (java) S 2662 2662 16913 0 -1 1077944384 18 0 0 0 0 1 0 0 20 0 28 0 3872518 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036872894864 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2668] ppid=2662 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2668/stat : 2668 (java) S 2662 2662 16913 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 28 0 3872518 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036503964176 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2669] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2669/stat : 2669 (java) S 2662 2662 16913 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 3872518 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036502911632 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2670] ppid=2662 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2670/stat : 2670 (java) S 2662 2662 16913 0 -1 1077944384 14 0 0 0 0 1 0 0 20 0 28 0 3872518 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036501859088 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2671] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2671/stat : 2671 (java) S 2662 2662 16913 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 3872518 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036500806544 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2672] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2672/stat : 2672 (java) S 2662 2662 16913 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3872518 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036499754000 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2673] ppid=2662 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2673/stat : 2673 (java) S 2662 2662 16913 0 -1 1077944384 13 0 0 0 0 1 0 0 20 0 28 0 3872518 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036498701456 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2674] ppid=2662 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2674/stat : 2674 (java) S 2662 2662 16913 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 28 0 3872520 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036234418160 140036906400386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2675] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2675/stat : 2675 (java) S 2662 2662 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3872521 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036233364448 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2676] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2676/stat : 2676 (java) S 2662 2662 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3872521 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036232311808 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2677] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2677/stat : 2677 (java) S 2662 2662 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3872525 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036231260368 140036906407835 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2678] ppid=2662 vsize=13802796 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2678/stat : 2678 (java) R 2662 2662 16913 0 -1 4202560 2997 0 0 0 189 1 0 0 20 0 28 0 3872525 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036230201176 140036887024808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2679] ppid=2662 vsize=13802796 CPUtime=2.18 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2679/stat : 2679 (java) R 2662 2662 16913 0 -1 4202560 3556 0 0 0 217 1 0 0 20 0 28 0 3872525 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036229146976 140036890810417 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2680] ppid=2662 vsize=13802796 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2680/stat : 2680 (java) R 2662 2662 16913 0 -1 4202560 2573 0 0 0 202 0 0 0 20 0 28 0 3872525 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036228088920 140036885633010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2681] ppid=2662 vsize=13802796 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2681/stat : 2681 (java) S 2662 2662 16913 0 -1 1077944384 3162 0 0 0 82 1 0 0 20 0 28 0 3872525 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036227050352 140036906400386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2682] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2682/stat : 2682 (java) S 2662 2662 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3872525 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036225997024 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2683] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2683/stat : 2683 (java) S 2662 2662 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3872525 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036224944560 140036906400386 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2852] ppid=2662 vsize=13802796 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2852/stat : 2852 (java) R 2662 2662 16913 0 -1 4202560 18 0 0 0 72 0 0 0 20 0 28 0 3872731 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036215876688 140036549344539 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2853] ppid=2662 vsize=13802796 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2853/stat : 2853 (java) R 2662 2662 16913 0 -1 4202560 20 0 0 0 70 0 0 0 20 0 28 0 3872731 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036216930112 140036548216662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2854] ppid=2662 vsize=13802796 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2854/stat : 2854 (java) R 2662 2662 16913 0 -1 4202560 29 0 0 0 58 0 0 0 20 0 28 0 3872731 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036214825144 140036548216898 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2855] ppid=2662 vsize=13802796 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2855/stat : 2855 (java) R 2662 2662 16913 0 -1 4202560 38 0 0 0 46 0 0 0 20 0 28 0 3872731 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036209562216 140036548895448 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2856] ppid=2662 vsize=13802796 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2856/stat : 2856 (java) R 2662 2662 16913 0 -1 4202560 20 0 0 0 86 0 0 0 20 0 28 0 3872731 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036211667832 140036548618566 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2857] ppid=2662 vsize=13802796 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2857/stat : 2857 (java) R 2662 2662 16913 0 -1 4202560 19 0 0 0 59 0 0 0 20 0 28 0 3872731 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036213772856 140036548216688 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2858] ppid=2662 vsize=13802796 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2858/stat : 2858 (java) R 2662 2662 16913 0 -1 4202560 19 0 0 0 65 0 0 0 20 0 28 0 3872731 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036212721544 140036548217691 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2859] ppid=2662 vsize=13802796 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2859/stat : 2859 (java) R 2662 2662 16913 0 -1 4202560 21 0 0 0 76 0 0 0 20 0 28 0 3872732 14134063104 57540 33554432000 4194304 4196468 140735573402816 140036210613416 140036549167349 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
Current children cumulated CPU time (s) 18.75
Current children cumulated vsize (KiB) 13812308
[startup+6.30131 s]
/proc/loadavg: 15.52 15.35 15.00 12/304 2859
/proc/meminfo: memFree=30092712/32770624 swapFree=5900/227912
[pid=2662] ppid=2659 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2662/stat : 2662 (xcsp3-exec) S 2659 2662 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3872516 9740288 346 33554432000 4194304 5098028 140723789067184 140723789065288 140289627128444 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14544896 140723789075598 140723789075808 140723789075808 140723789078507 0
/proc/2662/statm: 2378 346 289 221 0 87 0
[pid=2663] ppid=2662 vsize=13802796 CPUtime=42.37 cores=1,3,5,7,9,11,13,15
/proc/2663/stat : 2663 (java) S 2662 2662 16913 0 -1 1077944320 33805 0 0 0 4207 30 0 0 20 0 28 0 3872516 14134063104 89154 33554432000 4194304 4196468 140735573402816 140735573385360 140036906389239 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
/proc/2663/statm: 3450699 89154 3269 1 0 3437932 0
[pid=2663/tid=2664] ppid=2662 vsize=13802796 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2664/stat : 2664 (java) S 2662 2662 16913 0 -1 1077944384 6575 0 0 0 71 2 0 0 20 0 28 0 3872517 14134063104 89154 33554432000 4194304 4196468 140735573402816 140036910630016 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2666] ppid=2662 vsize=13802796 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2666/stat : 2666 (java) S 2662 2662 16913 0 -1 1077944384 39 0 0 0 0 2 0 0 20 0 28 0 3872518 14134063104 89154 33554432000 4194304 4196468 140735573402816 140036873947408 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2667] ppid=2662 vsize=13802796 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2667/stat : 2667 (java) S 2662 2662 16913 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 28 0 3872518 14134063104 89154 33554432000 4194304 4196468 140735573402816 140036872894864 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2668] ppid=2662 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2668/stat : 2668 (java) S 2662 2662 16913 0 -1 1077944384 753 0 0 0 0 1 0 0 20 0 28 0 3872518 14134063104 89154 33554432000 4194304 4196468 140735573402816 140036503964176 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2669] ppid=2662 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2669/stat : 2669 (java) S 2662 2662 16913 0 -1 1077944384 29 0 0 0 0 1 0 0 20 0 28 0 3872518 14134063104 89154 33554432000 4194304 4196468 140735573402816 140036502911632 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
################
# More data... #
################
[pid=2663/tid=3187] ppid=2662 vsize=13802796 CPUtime=105.94 cores=1,3,5,7,9,11,13,15
/proc/2663/task/3187/stat : 3187 (java) R 2662 2662 16913 0 -1 4202560 1985 0 0 0 10593 1 0 0 20 0 28 0 3883879 14134063104 135284 33554432000 4194304 4196468 140735573402816 140036211666456 140036548217460 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=3188] ppid=2662 vsize=13802796 CPUtime=105.64 cores=1,3,5,7,9,11,13,15
/proc/2663/task/3188/stat : 3188 (java) R 2662 2662 16913 0 -1 4202560 2354 0 0 0 10563 1 0 0 20 0 28 0 3883879 14134063104 135284 33554432000 4194304 4196468 140735573402816 140036216930312 140036548216512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
Current children cumulated CPU time (s) 1721.25
Current children cumulated vsize (KiB) 13812308
[startup+282.301 s]
/proc/loadavg: 15.68 15.57 15.19 17/303 3206
/proc/meminfo: memFree=30606496/32770624 swapFree=5900/228236
[pid=2662] ppid=2659 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2662/stat : 2662 (xcsp3-exec) S 2659 2662 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3872516 9740288 346 33554432000 4194304 5098028 140723789067184 140723789065288 140289627128444 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14544896 140723789075598 140723789075808 140723789075808 140723789078507 0
/proc/2662/statm: 2378 346 289 221 0 87 0
[pid=2663] ppid=2662 vsize=13802796 CPUtime=2188.41 cores=1,3,5,7,9,11,13,15
/proc/2663/stat : 2663 (java) S 2662 2662 16913 0 -1 1077944320 137114 0 0 0 218511 330 0 0 20 0 28 0 3872516 14134063104 118936 33554432000 4194304 4196468 140735573402816 140735573385360 140036906389239 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
/proc/2663/statm: 3450699 118936 3298 1 0 3437932 0
[pid=2663/tid=2664] ppid=2662 vsize=13802796 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2664/stat : 2664 (java) S 2662 2662 16913 0 -1 1077944384 6946 0 0 0 71 2 0 0 20 0 28 0 3872517 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036910630016 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2666] ppid=2662 vsize=13802796 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2666/stat : 2666 (java) S 2662 2662 16913 0 -1 1077944384 1909 0 0 0 94 9 0 0 20 0 28 0 3872518 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036873947408 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2667] ppid=2662 vsize=13802796 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2667/stat : 2667 (java) S 2662 2662 16913 0 -1 1077944384 3075 0 0 0 97 8 0 0 20 0 28 0 3872518 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036872894864 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2668] ppid=2662 vsize=13802796 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2668/stat : 2668 (java) S 2662 2662 16913 0 -1 1077944384 3625 0 0 0 95 9 0 0 20 0 28 0 3872518 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036503964176 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2669] ppid=2662 vsize=13802796 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2669/stat : 2669 (java) S 2662 2662 16913 0 -1 1077944384 2085 0 0 0 96 8 0 0 20 0 28 0 3872518 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036502911632 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2670] ppid=2662 vsize=13802796 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2670/stat : 2670 (java) S 2662 2662 16913 0 -1 1077944384 3786 0 0 0 97 7 0 0 20 0 28 0 3872518 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036501859088 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2671] ppid=2662 vsize=13802796 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2671/stat : 2671 (java) S 2662 2662 16913 0 -1 1077944384 2658 0 0 0 95 9 0 0 20 0 28 0 3872518 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036500806544 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2672] ppid=2662 vsize=13802796 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2672/stat : 2672 (java) S 2662 2662 16913 0 -1 1077944384 2559 0 0 0 96 8 0 0 20 0 28 0 3872518 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036499754000 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2673] ppid=2662 vsize=13802796 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2673/stat : 2673 (java) S 2662 2662 16913 0 -1 1077944384 3225 0 0 0 98 8 0 0 20 0 28 0 3872518 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036498701456 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2674] ppid=2662 vsize=13802796 CPUtime=3.53 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2674/stat : 2674 (java) S 2662 2662 16913 0 -1 1077944384 10818 0 0 0 138 215 0 0 20 0 28 0 3872520 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036234418160 140036906400386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2675] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2675/stat : 2675 (java) S 2662 2662 16913 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 3872521 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036233364448 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2676] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2676/stat : 2676 (java) S 2662 2662 16913 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 3872521 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036232311808 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2677] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2677/stat : 2677 (java) S 2662 2662 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3872525 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036231260368 140036906407835 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2678] ppid=2662 vsize=13802796 CPUtime=3.6 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2678/stat : 2678 (java) S 2662 2662 16913 0 -1 1077944384 15898 0 0 0 358 2 0 0 20 0 28 0 3872525 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036230207984 140036906400386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2679] ppid=2662 vsize=13802796 CPUtime=3.6 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2679/stat : 2679 (java) S 2662 2662 16913 0 -1 1077944384 13304 0 0 0 358 2 0 0 20 0 28 0 3872525 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036229155440 140036906400386 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2680] ppid=2662 vsize=13802796 CPUtime=3.56 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2680/stat : 2680 (java) S 2662 2662 16913 0 -1 1077944384 13744 0 0 0 354 2 0 0 20 0 28 0 3872525 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036228102896 140036906400386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2681] ppid=2662 vsize=13802796 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2681/stat : 2681 (java) S 2662 2662 16913 0 -1 1077944384 10128 0 0 0 105 2 0 0 20 0 28 0 3872525 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036227050352 140036906400386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2682] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2682/stat : 2682 (java) S 2662 2662 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3872525 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036225997024 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2683] ppid=2662 vsize=13802796 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2683/stat : 2683 (java) S 2662 2662 16913 0 -1 1077944384 1845 0 0 0 5 7 0 0 20 0 28 0 3872525 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036224944560 140036906400386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=3181] ppid=2662 vsize=13802796 CPUtime=164 cores=1,3,5,7,9,11,13,15
/proc/2663/task/3181/stat : 3181 (java) R 2662 2662 16913 0 -1 4202560 1634 0 0 0 16400 0 0 0 20 0 28 0 3883879 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036215877000 140036548216637 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=3182] ppid=2662 vsize=13802796 CPUtime=163.64 cores=1,3,5,7,9,11,13,15
/proc/2663/task/3182/stat : 3182 (java) R 2662 2662 16913 0 -1 4202560 1295 0 0 0 16363 1 0 0 20 0 28 0 3883879 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036210614536 140036549345228 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=3183] ppid=2662 vsize=13802796 CPUtime=165.49 cores=1,3,5,7,9,11,13,15
/proc/2663/task/3183/stat : 3183 (java) R 2662 2662 16913 0 -1 4202560 1252 0 0 0 16549 0 0 0 20 0 28 0 3883879 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036209561472 140036549136573 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=3184] ppid=2662 vsize=13802796 CPUtime=163.74 cores=1,3,5,7,9,11,13,15
/proc/2663/task/3184/stat : 3184 (java) R 2662 2662 16913 0 -1 4202560 2102 0 0 0 16373 1 0 0 20 0 28 0 3883879 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036212722608 140036551754816 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=3185] ppid=2662 vsize=13802796 CPUtime=163.61 cores=1,3,5,7,9,11,13,15
/proc/2663/task/3185/stat : 3185 (java) R 2662 2662 16913 0 -1 4202560 3429 0 0 0 16360 1 0 0 20 0 28 0 3883879 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036213772936 140036547325767 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=3186] ppid=2662 vsize=13802796 CPUtime=163.54 cores=1,3,5,7,9,11,13,15
/proc/2663/task/3186/stat : 3186 (java) R 2662 2662 16913 0 -1 4202560 583 0 0 0 16354 0 0 0 20 0 28 0 3883879 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036214825448 140036549344797 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=3187] ppid=2662 vsize=13802796 CPUtime=163.85 cores=1,3,5,7,9,11,13,15
/proc/2663/task/3187/stat : 3187 (java) R 2662 2662 16913 0 -1 4202560 2276 0 0 0 16384 1 0 0 20 0 28 0 3883879 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036211666456 140036548216670 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=3188] ppid=2662 vsize=13802796 CPUtime=163.42 cores=1,3,5,7,9,11,13,15
/proc/2663/task/3188/stat : 3188 (java) R 2662 2662 16913 0 -1 4202560 2893 0 0 0 16341 1 0 0 20 0 28 0 3883879 14134063104 118936 33554432000 4194304 4196468 140735573402816 140036216929896 140036547325061 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
Current children cumulated CPU time (s) 2188.41
Current children cumulated vsize (KiB) 13812308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+309.602 s]
/proc/loadavg: 15.80 15.61 15.21 17/303 3215
/proc/meminfo: memFree=30457980/32770624 swapFree=5900/228272
[pid=2662] ppid=2659 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2662/stat : 2662 (xcsp3-exec) S 2659 2662 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3872516 9740288 346 33554432000 4194304 5098028 140723789067184 140723789065288 140289627128444 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 14544896 140723789075598 140723789075808 140723789075808 140723789078507 0
/proc/2662/statm: 2378 346 289 221 0 87 0
[pid=2663] ppid=2662 vsize=13802796 CPUtime=2400.79 cores=1,3,5,7,9,11,13,15
/proc/2663/stat : 2663 (java) S 2662 2662 16913 0 -1 1077944320 145021 0 0 0 239697 382 0 0 20 0 28 0 3872516 14134063104 135214 33554432000 4194304 4196468 140735573402816 140735573385360 140036906389239 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
/proc/2663/statm: 3450699 135214 3298 1 0 3437932 0
[pid=2663/tid=2664] ppid=2662 vsize=13802796 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2664/stat : 2664 (java) S 2662 2662 16913 0 -1 1077944384 6946 0 0 0 71 2 0 0 20 0 28 0 3872517 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036910630016 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2666] ppid=2662 vsize=13802796 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2666/stat : 2666 (java) S 2662 2662 16913 0 -1 1077944384 2133 0 0 0 111 10 0 0 20 0 28 0 3872518 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036873947408 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2667] ppid=2662 vsize=13802796 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2667/stat : 2667 (java) S 2662 2662 16913 0 -1 1077944384 3170 0 0 0 114 8 0 0 20 0 28 0 3872518 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036872894864 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2668] ppid=2662 vsize=13802796 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2668/stat : 2668 (java) S 2662 2662 16913 0 -1 1077944384 3809 0 0 0 113 9 0 0 20 0 28 0 3872518 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036503964176 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2669] ppid=2662 vsize=13802796 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2669/stat : 2669 (java) S 2662 2662 16913 0 -1 1077944384 2249 0 0 0 114 9 0 0 20 0 28 0 3872518 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036502911632 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2670] ppid=2662 vsize=13802796 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2670/stat : 2670 (java) S 2662 2662 16913 0 -1 1077944384 4257 0 0 0 115 8 0 0 20 0 28 0 3872518 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036501859088 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2671] ppid=2662 vsize=13802796 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2671/stat : 2671 (java) S 2662 2662 16913 0 -1 1077944384 3085 0 0 0 113 10 0 0 20 0 28 0 3872518 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036500806544 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2672] ppid=2662 vsize=13802796 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2672/stat : 2672 (java) S 2662 2662 16913 0 -1 1077944384 2827 0 0 0 112 8 0 0 20 0 28 0 3872518 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036499754000 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2673] ppid=2662 vsize=13802796 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2673/stat : 2673 (java) S 2662 2662 16913 0 -1 1077944384 3339 0 0 0 114 9 0 0 20 0 28 0 3872518 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036498701456 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2674] ppid=2662 vsize=13802796 CPUtime=4.21 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2674/stat : 2674 (java) S 2662 2662 16913 0 -1 1077944384 14374 0 0 0 164 257 0 0 20 0 28 0 3872520 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036234418160 140036906400386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2675] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2675/stat : 2675 (java) S 2662 2662 16913 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 3872521 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036233364448 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2676] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2676/stat : 2676 (java) S 2662 2662 16913 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 3872521 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036232311808 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2677] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2677/stat : 2677 (java) S 2662 2662 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3872525 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036231260368 140036906407835 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2678] ppid=2662 vsize=13802796 CPUtime=3.6 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2678/stat : 2678 (java) S 2662 2662 16913 0 -1 1077944384 15900 0 0 0 358 2 0 0 20 0 28 0 3872525 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036230207984 140036906400386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2679] ppid=2662 vsize=13802796 CPUtime=3.6 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2679/stat : 2679 (java) S 2662 2662 16913 0 -1 1077944384 13307 0 0 0 358 2 0 0 20 0 28 0 3872525 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036229155440 140036906400386 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2680] ppid=2662 vsize=13802796 CPUtime=3.56 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2680/stat : 2680 (java) S 2662 2662 16913 0 -1 1077944384 13746 0 0 0 354 2 0 0 20 0 28 0 3872525 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036228102896 140036906400386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2681] ppid=2662 vsize=13802796 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2681/stat : 2681 (java) S 2662 2662 16913 0 -1 1077944384 10130 0 0 0 105 2 0 0 20 0 28 0 3872525 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036227050352 140036906400386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2682] ppid=2662 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2682/stat : 2682 (java) S 2662 2662 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3872525 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036225997024 140036906399445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=2683] ppid=2662 vsize=13802796 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/2663/task/2683/stat : 2683 (java) S 2662 2662 16913 0 -1 1077944384 1856 0 0 0 6 7 0 0 20 0 28 0 3872525 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036224944560 140036906400386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=3181] ppid=2662 vsize=13802796 CPUtime=190.15 cores=1,3,5,7,9,11,13,15
/proc/2663/task/3181/stat : 3181 (java) R 2662 2662 16913 0 -1 4202560 1720 0 0 0 19014 1 0 0 20 0 28 0 3883879 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036215877064 140036548216729 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=3182] ppid=2662 vsize=13802796 CPUtime=189.89 cores=1,3,5,7,9,11,13,15
/proc/2663/task/3182/stat : 3182 (java) R 2662 2662 16913 0 -1 4202560 1428 0 0 0 18987 2 0 0 20 0 28 0 3883879 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036210614920 140036547325236 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=3183] ppid=2662 vsize=13802796 CPUtime=192.17 cores=1,3,5,7,9,11,13,15
/proc/2663/task/3183/stat : 3183 (java) R 2662 2662 16913 0 -1 4202560 1545 0 0 0 19216 1 0 0 20 0 28 0 3883879 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036209561784 140036551755424 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=3184] ppid=2662 vsize=13802796 CPUtime=190 cores=1,3,5,7,9,11,13,15
/proc/2663/task/3184/stat : 3184 (java) R 2662 2662 16913 0 -1 4202560 2549 0 0 0 18999 1 0 0 20 0 28 0 3883879 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036212719680 140036550806849 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=3185] ppid=2662 vsize=13802796 CPUtime=189.8 cores=1,3,5,7,9,11,13,15
/proc/2663/task/3185/stat : 3185 (java) R 2662 2662 16913 0 -1 4202560 3797 0 0 0 18978 2 0 0 20 0 28 0 3883879 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036213772936 140036548217669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=3186] ppid=2662 vsize=13802796 CPUtime=189.73 cores=1,3,5,7,9,11,13,15
/proc/2663/task/3186/stat : 3186 (java) R 2662 2662 16913 0 -1 4202560 629 0 0 0 18972 1 0 0 20 0 28 0 3883879 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036214825992 140036548219562 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=3187] ppid=2662 vsize=13802796 CPUtime=190.14 cores=1,3,5,7,9,11,13,15
/proc/2663/task/3187/stat : 3187 (java) R 2662 2662 16913 0 -1 4202560 2514 0 0 0 19012 2 0 0 20 0 28 0 3883879 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036211666456 140036548217120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
[pid=2663/tid=3188] ppid=2662 vsize=13802796 CPUtime=189.65 cores=1,3,5,7,9,11,13,15
/proc/2663/task/3188/stat : 3188 (java) R 2662 2662 16913 0 -1 4202560 3666 0 0 0 18963 2 0 0 20 0 28 0 3883879 14134063104 135214 33554432000 4194304 4196468 140735573402816 140036216932240 140036551755122 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28119040 140735573411004 140735573411180 140735573411180 140735573413839 0
Current children cumulated CPU time (s) 2400.79
Current children cumulated vsize (KiB) 13812308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2663 sig 9
??? kill 2662 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2662 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=801
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1603
# CPU time returned by wait4() is 0.002404
# while last known CPU time is 2400.79
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 309.612
CPU time (s): 2400.79
CPU user time (s): 2396.97
CPU system time (s): 3.82
CPU usage (%): 775.418
Max. virtual memory (cumulated for all children) (KiB): 13812308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000801
system time used= 0.001603
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.90779 second user time and 4.47419 second system time
The end