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-4249699-1500695496/watcher-4249699-1500695496 -o /tmp/evaluation-result-4249699-1500695496/solver-4249699-1500695496 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7775 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1719423304 HOME/instance-4249699-1500695496.xml
pid=7622
running on 8 cores: 0,2,4,6,8,10,12,14
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.97 14.42 14.10 10/272 7625
/proc/meminfo: memFree=30800076/32770624 swapFree=5880/294404
[pid=7625] ppid=7622 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7625/stat : 7625 (xcsp3-exec) S 7622 7625 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4817339 9740288 346 33554432000 4194304 5098028 140725342585536 140725342583640 139862624862844 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19058688 140725342594190 140725342594400 140725342594400 140725342597099 0
/proc/7625/statm: 2378 346 289 221 0 87 0
[startup+0.100798 s]
/proc/loadavg: 15.97 14.42 14.10 10/272 7625
/proc/meminfo: memFree=30800076/32770624 swapFree=5880/294404
[pid=7625] ppid=7622 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7625/stat : 7625 (xcsp3-exec) S 7622 7625 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4817339 9740288 346 33554432000 4194304 5098028 140725342585536 140725342583640 139862624862844 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19058688 140725342594190 140725342594400 140725342594400 140725342597099 0
/proc/7625/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200351 s]
/proc/loadavg: 15.97 14.42 14.10 10/272 7625
/proc/meminfo: memFree=30800076/32770624 swapFree=5880/294404
[pid=7625] ppid=7622 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7625/stat : 7625 (xcsp3-exec) S 7622 7625 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4817339 9740288 346 33554432000 4194304 5098028 140725342585536 140725342583640 139862624862844 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19058688 140725342594190 140725342594400 140725342594400 140725342597099 0
/proc/7625/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300231 s]
/proc/loadavg: 15.97 14.42 14.10 10/272 7625
/proc/meminfo: memFree=30800076/32770624 swapFree=5880/294404
[pid=7625] ppid=7622 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7625/stat : 7625 (xcsp3-exec) S 7622 7625 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4817339 9740288 346 33554432000 4194304 5098028 140725342585536 140725342583640 139862624862844 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19058688 140725342594190 140725342594400 140725342594400 140725342597099 0
/proc/7625/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70084 s]
/proc/loadavg: 15.97 14.42 14.10 10/272 7625
/proc/meminfo: memFree=30800076/32770624 swapFree=5880/294404
[pid=7625] ppid=7622 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7625/stat : 7625 (xcsp3-exec) S 7622 7625 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4817339 9740288 346 33554432000 4194304 5098028 140725342585536 140725342583640 139862624862844 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19058688 140725342594190 140725342594400 140725342594400 140725342597099 0
/proc/7625/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50089 s]
/proc/loadavg: 15.97 14.42 14.10 13/293 7646
/proc/meminfo: memFree=29790352/32770624 swapFree=5880/294428
[pid=7625] ppid=7622 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7625/stat : 7625 (xcsp3-exec) S 7622 7625 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4817339 9740288 346 33554432000 4194304 5098028 140725342585536 140725342583640 139862624862844 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19058688 140725342594190 140725342594400 140725342594400 140725342597099 0
/proc/7625/statm: 2378 346 289 221 0 87 0
[pid=7626] ppid=7625 vsize=13267208 CPUtime=4.28 cores=0,2,4,6,8,10,12,14
/proc/7626/stat : 7626 (java) S 7625 7625 7744 0 -1 1077944320 14361 0 0 0 341 87 0 0 20 0 20 0 4817339 13585620992 269769 33554432000 4194304 4196468 140732504568224 140732504550768 139827947527927 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
/proc/7626/statm: 3316802 269769 3230 1 0 3304035 0
[pid=7626/tid=7627] ppid=7625 vsize=13267208 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7627/stat : 7627 (java) R 7625 7625 7744 0 -1 4202560 7291 0 0 0 100 17 0 0 20 0 20 0 4817340 13585620992 269769 33554432000 4194304 4196468 140732504568224 139827951765712 139827579086906 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7629] ppid=7625 vsize=13267208 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7629/stat : 7629 (java) S 7625 7625 7744 0 -1 1077944384 197 0 0 0 20 8 0 0 20 0 20 0 4817341 13585620992 269769 33554432000 4194304 4196468 140732504568224 139827900148624 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7630] ppid=7625 vsize=13267208 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7630/stat : 7630 (java) S 7625 7625 7744 0 -1 1077944384 70 0 0 0 17 8 0 0 20 0 20 0 4817341 13585620992 269769 33554432000 4194304 4196468 140732504568224 139827899095824 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7631] ppid=7625 vsize=13267208 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7631/stat : 7631 (java) S 7625 7625 7744 0 -1 1077944384 70 0 0 0 12 7 0 0 20 0 20 0 4817341 13585620992 269769 33554432000 4194304 4196468 140732504568224 139827898043536 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7632] ppid=7625 vsize=13267208 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7632/stat : 7632 (java) S 7625 7625 7744 0 -1 1077944384 117 0 0 0 19 9 0 0 20 0 20 0 4817341 13585620992 269769 33554432000 4194304 4196468 140732504568224 139827896990736 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7633] ppid=7625 vsize=13267208 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7633/stat : 7633 (java) S 7625 7625 7744 0 -1 1077944384 311 0 0 0 20 8 0 0 20 0 20 0 4817341 13585620992 269769 33554432000 4194304 4196468 140732504568224 139827895937424 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7634] ppid=7625 vsize=13267208 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7634/stat : 7634 (java) S 7625 7625 7744 0 -1 1077944384 62 0 0 0 16 8 0 0 20 0 20 0 4817341 13585620992 269769 33554432000 4194304 4196468 140732504568224 139827541899536 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7635] ppid=7625 vsize=13267208 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7635/stat : 7635 (java) S 7625 7625 7744 0 -1 1077944384 81 0 0 0 15 8 0 0 20 0 20 0 4817341 13585620992 269769 33554432000 4194304 4196468 140732504568224 139827540847248 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7636] ppid=7625 vsize=13267208 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7636/stat : 7636 (java) S 7625 7625 7744 0 -1 1077944384 77 0 0 0 18 7 0 0 20 0 20 0 4817341 13585620992 269769 33554432000 4194304 4196468 140732504568224 139827539794448 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7637] ppid=7625 vsize=13267208 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7637/stat : 7637 (java) S 7625 7625 7744 0 -1 1077944384 479 0 0 0 1 0 0 0 20 0 20 0 4817342 13585620992 269769 33554432000 4194304 4196468 140732504568224 139827409767024 139827947539074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7638] ppid=7625 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7638/stat : 7638 (java) S 7625 7625 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4817343 13585620992 269769 33554432000 4194304 4196468 140732504568224 139827408713056 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7639] ppid=7625 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7639/stat : 7639 (java) S 7625 7625 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4817343 13585620992 269769 33554432000 4194304 4196468 140732504568224 139827407660672 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7640] ppid=7625 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7640/stat : 7640 (java) S 7625 7625 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4817346 13585620992 269769 33554432000 4194304 4196468 140732504568224 139827406608976 139827947546523 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7641] ppid=7625 vsize=13267208 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7641/stat : 7641 (java) S 7625 7625 7744 0 -1 1077944384 1150 0 0 0 34 0 0 0 20 0 20 0 4817346 13585620992 269769 33554432000 4194304 4196468 140732504568224 139827405555824 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7642] ppid=7625 vsize=13267208 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7642/stat : 7642 (java) S 7625 7625 7744 0 -1 1077944384 526 0 0 0 18 0 0 0 20 0 20 0 4817346 13585620992 269769 33554432000 4194304 4196468 140732504568224 139827404503024 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7643] ppid=7625 vsize=13267208 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7643/stat : 7643 (java) S 7625 7625 7744 0 -1 1077944384 1319 0 0 0 22 0 0 0 20 0 20 0 4817346 13585620992 269769 33554432000 4194304 4196468 140732504568224 139827403450736 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7644] ppid=7625 vsize=13267208 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7644/stat : 7644 (java) S 7625 7625 7744 0 -1 1077944384 1315 0 0 0 24 0 0 0 20 0 20 0 4817346 13585620992 269769 33554432000 4194304 4196468 140732504568224 139827402397936 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7645] ppid=7625 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7645/stat : 7645 (java) S 7625 7625 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4817346 13585620992 269769 33554432000 4194304 4196468 140732504568224 139827401345888 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7646] ppid=7625 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7646/stat : 7646 (java) S 7625 7625 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4817347 13585620992 269769 33554432000 4194304 4196468 140732504568224 139827400293168 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 13276720
[startup+3.10114 s]
/proc/loadavg: 16.06 14.46 14.12 10/293 7646
/proc/meminfo: memFree=29593640/32770624 swapFree=5880/294428
[pid=7625] ppid=7622 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7625/stat : 7625 (xcsp3-exec) S 7622 7625 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4817339 9740288 346 33554432000 4194304 5098028 140725342585536 140725342583640 139862624862844 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19058688 140725342594190 140725342594400 140725342594400 140725342597099 0
/proc/7625/statm: 2378 346 289 221 0 87 0
[pid=7626] ppid=7625 vsize=13267208 CPUtime=6.87 cores=0,2,4,6,8,10,12,14
/proc/7626/stat : 7626 (java) S 7625 7625 7744 0 -1 1077944320 17436 0 0 0 550 137 0 0 20 0 20 0 4817339 13585620992 340461 33554432000 4194304 4196468 140732504568224 140732504550768 139827947527927 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
/proc/7626/statm: 3316802 340461 3237 1 0 3304035 0
[pid=7626/tid=7627] ppid=7625 vsize=13267208 CPUtime=2.61 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7627/stat : 7627 (java) R 7625 7625 7744 0 -1 4202560 8201 0 0 0 242 19 0 0 20 0 20 0 4817340 13585620992 340461 33554432000 4194304 4196468 140732504568224 139827951765488 139827579182753 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7629] ppid=7625 vsize=13267208 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7629/stat : 7629 (java) S 7625 7625 7744 0 -1 1077944384 375 0 0 0 26 14 0 0 20 0 20 0 4817341 13585620992 340461 33554432000 4194304 4196468 140732504568224 139827900148624 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7630] ppid=7625 vsize=13267208 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7630/stat : 7630 (java) S 7625 7625 7744 0 -1 1077944384 272 0 0 0 24 14 0 0 20 0 20 0 4817341 13585620992 340461 33554432000 4194304 4196468 140732504568224 139827899095824 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7631] ppid=7625 vsize=13267208 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7631/stat : 7631 (java) S 7625 7625 7744 0 -1 1077944384 524 0 0 0 20 13 0 0 20 0 20 0 4817341 13585620992 340461 33554432000 4194304 4196468 140732504568224 139827898043536 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7632] ppid=7625 vsize=13267208 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7632/stat : 7632 (java) S 7625 7625 7744 0 -1 1077944384 326 0 0 0 26 15 0 0 20 0 20 0 4817341 13585620992 340461 33554432000 4194304 4196468 140732504568224 139827896990736 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7633] ppid=7625 vsize=13267208 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7633/stat : 7633 (java) S 7625 7625 7744 0 -1 1077944384 534 0 0 0 28 14 0 0 20 0 20 0 4817341 13585620992 340461 33554432000 4194304 4196468 140732504568224 139827895937424 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7634] ppid=7625 vsize=13267208 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7634/stat : 7634 (java) S 7625 7625 7744 0 -1 1077944384 263 0 0 0 24 13 0 0 20 0 20 0 4817341 13585620992 340461 33554432000 4194304 4196468 140732504568224 139827541899536 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7635] ppid=7625 vsize=13267208 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7635/stat : 7635 (java) S 7625 7625 7744 0 -1 1077944384 286 0 0 0 23 14 0 0 20 0 20 0 4817341 13585620992 340461 33554432000 4194304 4196468 140732504568224 139827540847248 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7636] ppid=7625 vsize=13267208 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7636/stat : 7636 (java) S 7625 7625 7744 0 -1 1077944384 298 0 0 0 27 13 0 0 20 0 20 0 4817341 13585620992 340461 33554432000 4194304 4196468 140732504568224 139827539794448 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7637] ppid=7625 vsize=13267208 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7637/stat : 7637 (java) S 7625 7625 7744 0 -1 1077944384 720 0 0 0 1 0 0 0 20 0 20 0 4817342 13585620992 340461 33554432000 4194304 4196468 140732504568224 139827409767024 139827947539074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7638] ppid=7625 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7638/stat : 7638 (java) S 7625 7625 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4817343 13585620992 340461 33554432000 4194304 4196468 140732504568224 139827408713056 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7639] ppid=7625 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7639/stat : 7639 (java) S 7625 7625 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4817343 13585620992 340461 33554432000 4194304 4196468 140732504568224 139827407660672 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7640] ppid=7625 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7640/stat : 7640 (java) S 7625 7625 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4817346 13585620992 340461 33554432000 4194304 4196468 140732504568224 139827406608976 139827947546523 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7641] ppid=7625 vsize=13267208 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7641/stat : 7641 (java) S 7625 7625 7744 0 -1 1077944384 1151 0 0 0 35 0 0 0 20 0 20 0 4817346 13585620992 340461 33554432000 4194304 4196468 140732504568224 139827405555824 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7642] ppid=7625 vsize=13267208 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7642/stat : 7642 (java) S 7625 7625 7744 0 -1 1077944384 532 0 0 0 20 0 0 0 20 0 20 0 4817346 13585620992 340461 33554432000 4194304 4196468 140732504568224 139827404503024 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7643] ppid=7625 vsize=13267208 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7643/stat : 7643 (java) S 7625 7625 7744 0 -1 1077944384 1319 0 0 0 23 0 0 0 20 0 20 0 4817346 13585620992 340461 33554432000 4194304 4196468 140732504568224 139827403450736 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7644] ppid=7625 vsize=13267208 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7644/stat : 7644 (java) S 7625 7625 7744 0 -1 1077944384 1318 0 0 0 24 0 0 0 20 0 20 0 4817346 13585620992 340461 33554432000 4194304 4196468 140732504568224 139827402397936 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7645] ppid=7625 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7645/stat : 7645 (java) S 7625 7625 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4817346 13585620992 340461 33554432000 4194304 4196468 140732504568224 139827401345888 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7646] ppid=7625 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7646/stat : 7646 (java) S 7625 7625 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4817347 13585620992 340461 33554432000 4194304 4196468 140732504568224 139827400293168 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (KiB) 13276720
[startup+6.3009 s]
/proc/loadavg: 16.06 14.46 14.12 10/293 7646
/proc/meminfo: memFree=29032548/32770624 swapFree=5880/294448
[pid=7625] ppid=7622 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7625/stat : 7625 (xcsp3-exec) S 7622 7625 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4817339 9740288 346 33554432000 4194304 5098028 140725342585536 140725342583640 139862624862844 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19058688 140725342594190 140725342594400 140725342594400 140725342597099 0
/proc/7625/statm: 2378 346 289 221 0 87 0
[pid=7626] ppid=7625 vsize=13267208 CPUtime=12.66 cores=0,2,4,6,8,10,12,14
/proc/7626/stat : 7626 (java) S 7625 7625 7744 0 -1 1077944320 25871 0 0 0 987 279 0 0 20 0 20 0 4817339 13585620992 444588 33554432000 4194304 4196468 140732504568224 140732504550768 139827947527927 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
/proc/7626/statm: 3316802 444588 3242 1 0 3304035 0
[pid=7626/tid=7627] ppid=7625 vsize=13267208 CPUtime=5.44 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7627/stat : 7627 (java) R 7625 7625 7744 0 -1 4202560 9732 0 0 0 523 21 0 0 20 0 20 0 4817340 13585620992 444588 33554432000 4194304 4196468 140732504568224 139827951765216 139827930515099 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7629] ppid=7625 vsize=13267208 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7629/stat : 7629 (java) S 7625 7625 7744 0 -1 1077944384 1189 0 0 0 44 30 0 0 20 0 20 0 4817341 13585620992 444588 33554432000 4194304 4196468 140732504568224 139827900148624 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7630] ppid=7625 vsize=13267208 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7630/stat : 7630 (java) S 7625 7625 7744 0 -1 1077944384 1006 0 0 0 41 32 0 0 20 0 20 0 4817341 13585620992 444588 33554432000 4194304 4196468 140732504568224 139827899095824 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7631] ppid=7625 vsize=13267208 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7631/stat : 7631 (java) S 7625 7625 7744 0 -1 1077944384 1199 0 0 0 38 32 0 0 20 0 20 0 4817341 13585620992 444588 33554432000 4194304 4196468 140732504568224 139827898043536 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7632] ppid=7625 vsize=13267208 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7632/stat : 7632 (java) S 7625 7625 7744 0 -1 1077944384 940 0 0 0 45 33 0 0 20 0 20 0 4817341 13585620992 444588 33554432000 4194304 4196468 140732504568224 139827896990736 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7633] ppid=7625 vsize=13267208 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7633/stat : 7633 (java) S 7625 7625 7744 0 -1 1077944384 1092 0 0 0 46 32 0 0 20 0 20 0 4817341 13585620992 444588 33554432000 4194304 4196468 140732504568224 139827895937424 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7634] ppid=7625 vsize=13267208 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7634/stat : 7634 (java) S 7625 7625 7744 0 -1 1077944384 835 0 0 0 43 30 0 0 20 0 20 0 4817341 13585620992 444588 33554432000 4194304 4196468 140732504568224 139827541899536 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7635] ppid=7625 vsize=13267208 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7635/stat : 7635 (java) S 7625 7625 7744 0 -1 1077944384 871 0 0 0 40 31 0 0 20 0 20 0 4817341 13585620992 444588 33554432000 4194304 4196468 140732504568224 139827540847248 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7636] ppid=7625 vsize=13267208 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7636/stat : 7636 (java) S 7625 7625 7744 0 -1 1077944384 662 0 0 0 44 29 0 0 20 0 20 0 4817341 13585620992 444588 33554432000 4194304 4196468 140732504568224 139827539794448 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7637] ppid=7625 vsize=13267208 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7637/stat : 7637 (java) S 7625 7625 7744 0 -1 1077944384 1160 0 0 0 1 0 0 0 20 0 20 0 4817342 13585620992 444588 33554432000 4194304 4196468 140732504568224 139827409767024 139827947539074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7638] ppid=7625 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7638/stat : 7638 (java) S 7625 7625 7744 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4817343 13585620992 444588 33554432000 4194304 4196468 140732504568224 139827408713056 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7639] ppid=7625 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7639/stat : 7639 (java) S 7625 7625 7744 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4817343 13585620992 444588 33554432000 4194304 4196468 140732504568224 139827407660672 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7640] ppid=7625 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7640/stat : 7640 (java) S 7625 7625 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4817346 13585620992 444588 33554432000 4194304 4196468 140732504568224 139827406608976 139827947546523 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
################
# More data... #
################
[startup+97.701 s]
/proc/loadavg: 6.77 11.96 13.27 3/285 7734
/proc/meminfo: memFree=17103028/32770624 swapFree=5880/295716
[pid=7625] ppid=7622 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7625/stat : 7625 (xcsp3-exec) S 7622 7625 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4817339 9740288 346 33554432000 4194304 5098028 140725342585536 140725342583640 139862624862844 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19058688 140725342594190 140725342594400 140725342594400 140725342597099 0
/proc/7625/statm: 2378 346 289 221 0 87 0
[pid=7626] ppid=7625 vsize=13335820 CPUtime=216.8 cores=0,2,4,6,8,10,12,14
/proc/7626/stat : 7626 (java) S 7625 7625 7744 0 -1 1077944320 380816 0 0 0 18243 3437 0 0 20 0 21 0 4817339 13655879680 2669238 33554432000 4194304 4196468 140732504568224 140732504550768 139827947527927 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
/proc/7626/statm: 3333955 2669238 3248 1 0 3321188 0
[pid=7626/tid=7627] ppid=7625 vsize=13335820 CPUtime=77.46 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7627/stat : 7627 (java) S 7625 7625 7744 0 -1 1077944384 72267 0 0 0 7722 24 0 0 20 0 21 0 4817340 13655879680 2669238 33554432000 4194304 4196468 140732504568224 139827951768608 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7629] ppid=7625 vsize=13335820 CPUtime=16.91 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7629/stat : 7629 (java) R 7625 7625 7744 0 -1 4202560 11712 0 0 0 1259 432 0 0 20 0 21 0 4817341 13655879680 2669238 33554432000 4194304 4196468 140732504568224 139827900148824 139827932478920 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7630] ppid=7625 vsize=13335820 CPUtime=16.82 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7630/stat : 7630 (java) R 7625 7625 7744 0 -1 4202560 27122 0 0 0 1250 432 0 0 20 0 21 0 4817341 13655879680 2669238 33554432000 4194304 4196468 140732504568224 139827899096024 139827932478936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7631] ppid=7625 vsize=13335820 CPUtime=16.86 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7631/stat : 7631 (java) R 7625 7625 7744 0 -1 4202560 42293 0 0 0 1273 413 0 0 20 0 21 0 4817341 13655879680 2669238 33554432000 4194304 4196468 140732504568224 139827898043736 139827932478920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7632] ppid=7625 vsize=13335820 CPUtime=16.92 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7632/stat : 7632 (java) R 7625 7625 7744 0 -1 4202560 26860 0 0 0 1260 432 0 0 20 0 21 0 4817341 13655879680 2669238 33554432000 4194304 4196468 140732504568224 139827896990936 139827932478936 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7633] ppid=7625 vsize=13335820 CPUtime=16.97 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7633/stat : 7633 (java) R 7625 7625 7744 0 -1 4202560 22982 0 0 0 1248 449 0 0 20 0 21 0 4817341 13655879680 2669238 33554432000 4194304 4196468 140732504568224 139827895937312 139827932478936 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7634] ppid=7625 vsize=13335820 CPUtime=16.63 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7634/stat : 7634 (java) R 7625 7625 7744 0 -1 4202560 24168 0 0 0 1273 390 0 0 20 0 21 0 4817341 13655879680 2669238 33554432000 4194304 4196468 140732504568224 139827541899736 139827932478936 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7635] ppid=7625 vsize=13335820 CPUtime=16.74 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7635/stat : 7635 (java) R 7625 7625 7744 0 -1 4202560 107674 0 0 0 1229 445 0 0 20 0 21 0 4817341 13655879680 2669238 33554432000 4194304 4196468 140732504568224 139827540847448 139827932478936 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7636] ppid=7625 vsize=13335820 CPUtime=16.75 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7636/stat : 7636 (java) R 7625 7625 7744 0 -1 4202560 18554 0 0 0 1269 406 0 0 20 0 21 0 4817341 13655879680 2669238 33554432000 4194304 4196468 140732504568224 139827539794648 139827929123815 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7637] ppid=7625 vsize=13335820 CPUtime=3.03 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7637/stat : 7637 (java) S 7625 7625 7744 0 -1 1077944384 17257 0 0 0 300 3 0 0 20 0 21 0 4817342 13655879680 2669238 33554432000 4194304 4196468 140732504568224 139827409765344 139827947538133 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7638] ppid=7625 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7638/stat : 7638 (java) S 7625 7625 7744 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 21 0 4817343 13655879680 2669238 33554432000 4194304 4196468 140732504568224 139827408713056 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7639] ppid=7625 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7639/stat : 7639 (java) S 7625 7625 7744 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 21 0 4817343 13655879680 2669238 33554432000 4194304 4196468 140732504568224 139827407660672 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7640] ppid=7625 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7640/stat : 7640 (java) S 7625 7625 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4817346 13655879680 2669238 33554432000 4194304 4196468 140732504568224 139827406608976 139827947546523 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7641] ppid=7625 vsize=13335820 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7641/stat : 7641 (java) S 7625 7625 7744 0 -1 1077944384 1906 0 0 0 49 0 0 0 20 0 21 0 4817346 13655879680 2669238 33554432000 4194304 4196468 140732504568224 139827405555824 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7642] ppid=7625 vsize=13335820 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7642/stat : 7642 (java) S 7625 7625 7744 0 -1 1077944384 1392 0 0 0 34 0 0 0 20 0 21 0 4817346 13655879680 2669238 33554432000 4194304 4196468 140732504568224 139827404503024 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7643] ppid=7625 vsize=13335820 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7643/stat : 7643 (java) S 7625 7625 7744 0 -1 1077944384 1907 0 0 0 33 0 0 0 20 0 21 0 4817346 13655879680 2669238 33554432000 4194304 4196468 140732504568224 139827403450736 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7644] ppid=7625 vsize=13335820 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7644/stat : 7644 (java) S 7625 7625 7744 0 -1 1077944384 2760 0 0 0 33 0 0 0 20 0 21 0 4817346 13655879680 2669238 33554432000 4194304 4196468 140732504568224 139827402397936 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7645] ppid=7625 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7645/stat : 7645 (java) S 7625 7625 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4817346 13655879680 2669238 33554432000 4194304 4196468 140732504568224 139827401345888 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7646] ppid=7625 vsize=13335820 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7646/stat : 7646 (java) S 7625 7625 7744 0 -1 1077944384 582 0 0 0 3 3 0 0 20 0 21 0 4817347 13655879680 2669238 33554432000 4194304 4196468 140732504568224 139827400293168 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
Current children cumulated CPU time (s) 216.8
Current children cumulated vsize (KiB) 13345332
[startup+99.4058 s]
/proc/loadavg: 6.77 11.96 13.27 10/286 7735
/proc/meminfo: memFree=17102888/32770624 swapFree=5880/295724
[pid=7625] ppid=7622 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7625/stat : 7625 (xcsp3-exec) S 7622 7625 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4817339 9740288 346 33554432000 4194304 5098028 140725342585536 140725342583640 139862624862844 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19058688 140725342594190 140725342594400 140725342594400 140725342597099 0
/proc/7625/statm: 2378 346 289 221 0 87 0
[pid=7626] ppid=7625 vsize=13335820 CPUtime=230.18 cores=0,2,4,6,8,10,12,14
/proc/7626/stat : 7626 (java) S 7625 7625 7744 0 -1 1077944320 381085 0 0 0 19580 3438 0 0 20 0 21 0 4817339 13655879680 2669240 33554432000 4194304 4196468 140732504568224 140732504550768 139827947527927 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
/proc/7626/statm: 3333955 2669240 3248 1 0 3321188 0
[pid=7626/tid=7627] ppid=7625 vsize=13335820 CPUtime=77.46 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7627/stat : 7627 (java) S 7625 7625 7744 0 -1 1077944384 72267 0 0 0 7722 24 0 0 20 0 21 0 4817340 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827951768608 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7629] ppid=7625 vsize=13335820 CPUtime=18.61 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7629/stat : 7629 (java) R 7625 7625 7744 0 -1 4202560 11717 0 0 0 1429 432 0 0 20 0 21 0 4817341 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827900148824 139827940630906 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7630] ppid=7625 vsize=13335820 CPUtime=18.5 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7630/stat : 7630 (java) R 7625 7625 7744 0 -1 4202560 27199 0 0 0 1418 432 0 0 20 0 21 0 4817341 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827899096024 139827940630920 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7631] ppid=7625 vsize=13335820 CPUtime=18.56 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7631/stat : 7631 (java) R 7625 7625 7744 0 -1 4202560 42316 0 0 0 1443 413 0 0 20 0 21 0 4817341 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827898043736 139827940630906 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7632] ppid=7625 vsize=13335820 CPUtime=18.62 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7632/stat : 7632 (java) R 7625 7625 7744 0 -1 4202560 26863 0 0 0 1430 432 0 0 20 0 21 0 4817341 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827896990936 139827940630920 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7633] ppid=7625 vsize=13335820 CPUtime=18.63 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7633/stat : 7633 (java) R 7625 7625 7744 0 -1 4202560 23084 0 0 0 1414 449 0 0 20 0 21 0 4817341 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827895937624 139827932526075 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7634] ppid=7625 vsize=13335820 CPUtime=18.32 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7634/stat : 7634 (java) R 7625 7625 7744 0 -1 4202560 24171 0 0 0 1442 390 0 0 20 0 21 0 4817341 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827541899736 139827940630966 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7635] ppid=7625 vsize=13335820 CPUtime=18.43 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7635/stat : 7635 (java) R 7625 7625 7744 0 -1 4202560 107719 0 0 0 1398 445 0 0 20 0 21 0 4817341 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827540847448 139827940630927 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7636] ppid=7625 vsize=13335820 CPUtime=18.3 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7636/stat : 7636 (java) R 7625 7625 7744 0 -1 4202560 18564 0 0 0 1424 406 0 0 20 0 21 0 4817341 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827539794336 139827940630913 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7637] ppid=7625 vsize=13335820 CPUtime=3.04 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7637/stat : 7637 (java) S 7625 7625 7744 0 -1 1077944384 17258 0 0 0 301 3 0 0 20 0 21 0 4817342 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827409765568 139827947538133 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7638] ppid=7625 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7638/stat : 7638 (java) S 7625 7625 7744 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 21 0 4817343 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827408713056 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7639] ppid=7625 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7639/stat : 7639 (java) S 7625 7625 7744 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 21 0 4817343 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827407660672 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7640] ppid=7625 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7640/stat : 7640 (java) S 7625 7625 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4817346 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827406608976 139827947546523 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7641] ppid=7625 vsize=13335820 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7641/stat : 7641 (java) S 7625 7625 7744 0 -1 1077944384 1906 0 0 0 49 0 0 0 20 0 21 0 4817346 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827405555824 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7642] ppid=7625 vsize=13335820 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7642/stat : 7642 (java) S 7625 7625 7744 0 -1 1077944384 1392 0 0 0 34 0 0 0 20 0 21 0 4817346 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827404503024 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7643] ppid=7625 vsize=13335820 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7643/stat : 7643 (java) S 7625 7625 7744 0 -1 1077944384 1907 0 0 0 33 0 0 0 20 0 21 0 4817346 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827403450736 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7644] ppid=7625 vsize=13335820 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7644/stat : 7644 (java) S 7625 7625 7744 0 -1 1077944384 2760 0 0 0 33 0 0 0 20 0 21 0 4817346 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827402397936 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7645] ppid=7625 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7645/stat : 7645 (java) S 7625 7625 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4817346 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827401345888 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7646] ppid=7625 vsize=13335820 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7646/stat : 7646 (java) S 7625 7625 7744 0 -1 1077944384 582 0 0 0 4 3 0 0 20 0 21 0 4817347 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827400293168 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7735] ppid=7625 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7735/stat : 7735 (java) S 7625 7625 7744 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 21 0 4827075 13655879680 2669240 33554432000 4194304 4196468 140732504568224 139827392282512 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
Current children cumulated CPU time (s) 230.18
Current children cumulated vsize (KiB) 13345332
[startup+99.8053 s]
/proc/loadavg: 6.77 11.96 13.27 10/286 7735
/proc/meminfo: memFree=17102888/32770624 swapFree=5880/295724
[pid=7625] ppid=7622 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7625/stat : 7625 (xcsp3-exec) S 7622 7625 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4817339 9740288 346 33554432000 4194304 5098028 140725342585536 140725342583640 139862624862844 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19058688 140725342594190 140725342594400 140725342594400 140725342597099 0
/proc/7625/statm: 2378 346 289 221 0 87 0
[pid=7626] ppid=7625 vsize=13335820 CPUtime=232.96 cores=0,2,4,6,8,10,12,14
/proc/7626/stat : 7626 (java) S 7625 7625 7744 0 -1 1077944320 382463 0 0 0 19856 3440 0 0 20 0 21 0 4817339 13655879680 2669243 33554432000 4194304 4196468 140732504568224 140732504550768 139827947527927 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
/proc/7626/statm: 3333955 2669243 3248 1 0 3321188 0
[pid=7626/tid=7627] ppid=7625 vsize=13335820 CPUtime=77.46 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7627/stat : 7627 (java) S 7625 7625 7744 0 -1 1077944384 72267 0 0 0 7722 24 0 0 20 0 21 0 4817340 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827951768608 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7629] ppid=7625 vsize=13335820 CPUtime=18.96 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7629/stat : 7629 (java) S 7625 7625 7744 0 -1 1077944384 11773 0 0 0 1463 433 0 0 20 0 21 0 4817341 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827900148624 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7630] ppid=7625 vsize=13335820 CPUtime=18.84 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7630/stat : 7630 (java) S 7625 7625 7744 0 -1 1077944384 27263 0 0 0 1452 432 0 0 20 0 21 0 4817341 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827899095824 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7631] ppid=7625 vsize=13335820 CPUtime=18.9 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7631/stat : 7631 (java) S 7625 7625 7744 0 -1 1077944384 42393 0 0 0 1476 414 0 0 20 0 21 0 4817341 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827898043536 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7632] ppid=7625 vsize=13335820 CPUtime=18.96 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7632/stat : 7632 (java) S 7625 7625 7744 0 -1 1077944384 27050 0 0 0 1464 432 0 0 20 0 21 0 4817341 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827896990736 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7633] ppid=7625 vsize=13335820 CPUtime=18.97 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7633/stat : 7633 (java) S 7625 7625 7744 0 -1 1077944384 23176 0 0 0 1448 449 0 0 20 0 21 0 4817341 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827895937424 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7634] ppid=7625 vsize=13335820 CPUtime=18.66 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7634/stat : 7634 (java) S 7625 7625 7744 0 -1 1077944384 24611 0 0 0 1476 390 0 0 20 0 21 0 4817341 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827541899536 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7635] ppid=7625 vsize=13335820 CPUtime=18.77 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7635/stat : 7635 (java) S 7625 7625 7744 0 -1 1077944384 107793 0 0 0 1432 445 0 0 20 0 21 0 4817341 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827540847248 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7636] ppid=7625 vsize=13335820 CPUtime=18.62 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7636/stat : 7636 (java) S 7625 7625 7744 0 -1 1077944384 18622 0 0 0 1456 406 0 0 20 0 21 0 4817341 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827539794448 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7637] ppid=7625 vsize=13335820 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7637/stat : 7637 (java) R 7625 7625 7744 0 -1 4202560 17566 0 0 0 306 3 0 0 20 0 21 0 4817342 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827409765456 139827932524331 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7638] ppid=7625 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7638/stat : 7638 (java) S 7625 7625 7744 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 21 0 4817343 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827408713056 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7639] ppid=7625 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7639/stat : 7639 (java) S 7625 7625 7744 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 21 0 4817343 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827407660672 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7640] ppid=7625 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7640/stat : 7640 (java) S 7625 7625 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4817346 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827406608976 139827947546523 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7641] ppid=7625 vsize=13335820 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7641/stat : 7641 (java) S 7625 7625 7744 0 -1 1077944384 1906 0 0 0 49 0 0 0 20 0 21 0 4817346 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827405555824 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7642] ppid=7625 vsize=13335820 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7642/stat : 7642 (java) S 7625 7625 7744 0 -1 1077944384 1392 0 0 0 34 0 0 0 20 0 21 0 4817346 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827404503024 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7643] ppid=7625 vsize=13335820 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7643/stat : 7643 (java) S 7625 7625 7744 0 -1 1077944384 1907 0 0 0 33 0 0 0 20 0 21 0 4817346 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827403450736 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7644] ppid=7625 vsize=13335820 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7644/stat : 7644 (java) S 7625 7625 7744 0 -1 1077944384 2760 0 0 0 33 0 0 0 20 0 21 0 4817346 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827402397936 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7645] ppid=7625 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7645/stat : 7645 (java) S 7625 7625 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4817346 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827401345888 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7646] ppid=7625 vsize=13335820 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7646/stat : 7646 (java) S 7625 7625 7744 0 -1 1077944384 604 0 0 0 4 3 0 0 20 0 21 0 4817347 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827400293168 139827947539074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
[pid=7626/tid=7735] ppid=7625 vsize=13335820 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7735/stat : 7735 (java) S 7625 7625 7744 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 21 0 4827075 13655879680 2669243 33554432000 4194304 4196468 140732504568224 139827392282512 139827947538133 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27492352 140732504577212 140732504577388 140732504577388 140732504580047 0
Current children cumulated CPU time (s) 232.96
Current children cumulated vsize (KiB) 13345332
[startup+100.201 s]
/proc/loadavg: 6.77 11.96 13.27 10/286 7735
/proc/meminfo: memFree=17102888/32770624 swapFree=5880/295724
[pid=7625] ppid=7622 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7625/stat : 7625 (xcsp3-exec) S 7622 7625 7744 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4817339 9740288 346 33554432000 4194304 5098028 140725342585536 140725342583640 139862624862844 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 19058688 140725342594190 140725342594400 140725342594400 140725342597099 0
/proc/7625/statm: 2378 346 289 221 0 87 0
[pid=7626] ppid=7625 vsize=0 CPUtime=233.35 cores=0,2,4,6,8,10,12,14
/proc/7626/stat : 7626 (java) Z 7625 7625 7744 0 -1 4227084 388725 0 0 0 19894 3441 0 0 20 0 2 0 4817339 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/7626/statm: 0 0 0 0 0 0 0
[pid=7626/tid=7636] ppid=7625 vsize=0 CPUtime=18.63 cores=0,2,4,6,8,10,12,14
/proc/7626/task/7636/stat : 7636 (java) R 7625 7625 7744 0 -1 4203588 18622 0 0 0 1456 407 0 0 20 0 2 0 4817341 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 10 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 233.35
Current children cumulated vsize (KiB) 9512
Child status: 1
Real time (s): 100.258
CPU time (s): 233.425
CPU user time (s): 198.951
CPU system time (s): 34.4741
CPU usage (%): 232.824
Max. virtual memory (cumulated for all children) (KiB): 13345332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 198.951
system time used= 34.4741
maximum resident set size= 10677268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 389254
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13185
involuntary context switches= 16224
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.854226 second user time and 1.38872 second system time
The end