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-4246549-1500687591/watcher-4246549-1500687591 -o /tmp/evaluation-result-4246549-1500687591/solver-4246549-1500687591 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16504 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 811178032 HOME/instance-4246549-1500687591.xml
pid=31276
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: 11.33 14.16 14.32 3/263 31279
/proc/meminfo: memFree=25787196/32770624 swapFree=5736/256464
[pid=31279] ppid=31276 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31279/stat : 31279 (xcsp3-exec) S 31276 31279 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4028236 9740288 346 33554432000 4194304 5098028 140732942244544 140732942242648 140041086329468 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29351936 140732942247055 140732942247264 140732942247264 140732942249963 0
/proc/31279/statm: 2378 346 289 221 0 87 0
[startup+0.100103 s]
/proc/loadavg: 11.33 14.16 14.32 3/263 31279
/proc/meminfo: memFree=25787196/32770624 swapFree=5736/256464
[pid=31279] ppid=31276 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31279/stat : 31279 (xcsp3-exec) S 31276 31279 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4028236 9740288 346 33554432000 4194304 5098028 140732942244544 140732942242648 140041086329468 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29351936 140732942247055 140732942247264 140732942247264 140732942249963 0
/proc/31279/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200324 s]
/proc/loadavg: 11.33 14.16 14.32 3/263 31279
/proc/meminfo: memFree=25787196/32770624 swapFree=5736/256464
[pid=31279] ppid=31276 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31279/stat : 31279 (xcsp3-exec) S 31276 31279 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4028236 9740288 346 33554432000 4194304 5098028 140732942244544 140732942242648 140041086329468 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29351936 140732942247055 140732942247264 140732942247264 140732942249963 0
/proc/31279/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300324 s]
/proc/loadavg: 11.33 14.16 14.32 3/263 31279
/proc/meminfo: memFree=25787196/32770624 swapFree=5736/256464
[pid=31279] ppid=31276 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31279/stat : 31279 (xcsp3-exec) S 31276 31279 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4028236 9740288 346 33554432000 4194304 5098028 140732942244544 140732942242648 140041086329468 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29351936 140732942247055 140732942247264 140732942247264 140732942249963 0
/proc/31279/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700225 s]
/proc/loadavg: 11.33 14.16 14.32 3/263 31279
/proc/meminfo: memFree=25787196/32770624 swapFree=5736/256464
[pid=31279] ppid=31276 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31279/stat : 31279 (xcsp3-exec) S 31276 31279 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4028236 9740288 346 33554432000 4194304 5098028 140732942244544 140732942242648 140041086329468 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29351936 140732942247055 140732942247264 140732942247264 140732942249963 0
/proc/31279/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50098 s]
/proc/loadavg: 10.82 14.00 14.27 4/284 31300
/proc/meminfo: memFree=25691780/32770624 swapFree=5736/256548
[pid=31279] ppid=31276 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31279/stat : 31279 (xcsp3-exec) S 31276 31279 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4028236 9740288 346 33554432000 4194304 5098028 140732942244544 140732942242648 140041086329468 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29351936 140732942247055 140732942247264 140732942247264 140732942249963 0
/proc/31279/statm: 2378 346 289 221 0 87 0
[pid=31280] ppid=31279 vsize=13267208 CPUtime=3.16 cores=0,2,4,6,8,10,12,14
/proc/31280/stat : 31280 (java) S 31279 31279 16473 0 -1 1077944320 14839 0 0 0 311 5 0 0 20 0 20 0 4028236 13585620992 27934 33554432000 4194304 4196468 140733743106608 140733743089152 140561734557431 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
/proc/31280/statm: 3316802 27934 3199 1 0 3304035 0
[pid=31280/tid=31281] ppid=31279 vsize=13267208 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31281/stat : 31281 (java) R 31279 31279 16473 0 -1 4202560 6576 0 0 0 144 3 0 0 20 0 20 0 4028237 13585620992 27934 33554432000 4194304 4196468 140733743106608 140561738793528 140561719638430 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31283] ppid=31279 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31283/stat : 31283 (java) S 31279 31279 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4028238 13585620992 27934 33554432000 4194304 4196468 140733743106608 140561666694288 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31284] ppid=31279 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31284/stat : 31284 (java) S 31279 31279 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4028238 13585620992 27934 33554432000 4194304 4196468 140733743106608 140561665641488 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31285] ppid=31279 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31285/stat : 31285 (java) S 31279 31279 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4028238 13585620992 27934 33554432000 4194304 4196468 140733743106608 140561664588688 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31286] ppid=31279 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31286/stat : 31286 (java) S 31279 31279 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4028238 13585620992 27934 33554432000 4194304 4196468 140733743106608 140561330703120 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31287] ppid=31279 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31287/stat : 31287 (java) S 31279 31279 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4028238 13585620992 27934 33554432000 4194304 4196468 140733743106608 140561329650320 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31288] ppid=31279 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31288/stat : 31288 (java) S 31279 31279 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4028238 13585620992 27934 33554432000 4194304 4196468 140733743106608 140561328597520 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31289] ppid=31279 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31289/stat : 31289 (java) S 31279 31279 16473 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4028238 13585620992 27934 33554432000 4194304 4196468 140733743106608 140561327544720 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31290] ppid=31279 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31290/stat : 31290 (java) S 31279 31279 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4028238 13585620992 27934 33554432000 4194304 4196468 140733743106608 140561326491920 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31291] ppid=31279 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31291/stat : 31291 (java) S 31279 31279 16473 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4028240 13585620992 27934 33554432000 4194304 4196468 140733743106608 140561263950704 140561734568578 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31292] ppid=31279 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31292/stat : 31292 (java) S 31279 31279 16473 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4028241 13585620992 27934 33554432000 4194304 4196468 140733743106608 140561262896672 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31293] ppid=31279 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31293/stat : 31293 (java) S 31279 31279 16473 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4028241 13585620992 27934 33554432000 4194304 4196468 140733743106608 140561261843824 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31294] ppid=31279 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31294/stat : 31294 (java) S 31279 31279 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4028245 13585620992 27934 33554432000 4194304 4196468 140733743106608 140561193363792 140561734576027 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31295] ppid=31279 vsize=13267208 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31295/stat : 31295 (java) S 31279 31279 16473 0 -1 1077944384 1957 0 0 0 39 0 0 0 20 0 20 0 4028245 13585620992 27934 33554432000 4194304 4196468 140733743106608 140561192311152 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31296] ppid=31279 vsize=13267208 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31296/stat : 31296 (java) S 31279 31279 16473 0 -1 1077944384 1641 0 0 0 48 0 0 0 20 0 20 0 4028245 13585620992 27934 33554432000 4194304 4196468 140733743106608 140561191258352 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31297] ppid=31279 vsize=13267208 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31297/stat : 31297 (java) S 31279 31279 16473 0 -1 1077944384 1284 0 0 0 39 0 0 0 20 0 20 0 4028245 13585620992 27934 33554432000 4194304 4196468 140733743106608 140561190205552 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31298] ppid=31279 vsize=13267208 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31298/stat : 31298 (java) S 31279 31279 16473 0 -1 1077944384 2064 0 0 0 38 0 0 0 20 0 20 0 4028245 13585620992 27934 33554432000 4194304 4196468 140733743106608 140561189152752 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31299] ppid=31279 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31299/stat : 31299 (java) S 31279 31279 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4028246 13585620992 27934 33554432000 4194304 4196468 140733743106608 140561188101216 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31300] ppid=31279 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31300/stat : 31300 (java) S 31279 31279 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4028246 13585620992 27934 33554432000 4194304 4196468 140733743106608 140561187048496 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 13276720
[startup+3.10092 s]
/proc/loadavg: 10.82 14.00 14.27 3/284 31300
/proc/meminfo: memFree=25678392/32770624 swapFree=5736/256552
[pid=31279] ppid=31276 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31279/stat : 31279 (xcsp3-exec) S 31276 31279 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4028236 9740288 346 33554432000 4194304 5098028 140732942244544 140732942242648 140041086329468 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29351936 140732942247055 140732942247264 140732942247264 140732942249963 0
/proc/31279/statm: 2378 346 289 221 0 87 0
[pid=31280] ppid=31279 vsize=13269256 CPUtime=5.38 cores=0,2,4,6,8,10,12,14
/proc/31280/stat : 31280 (java) S 31279 31279 16473 0 -1 1077944320 19032 0 0 0 513 25 0 0 20 0 20 0 4028236 13587718144 54915 33554432000 4194304 4196468 140733743106608 140733743089152 140561734557431 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
/proc/31280/statm: 3317314 54915 3229 1 0 3304547 0
[pid=31280/tid=31281] ppid=31279 vsize=13269256 CPUtime=3.02 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31281/stat : 31281 (java) R 31279 31279 16473 0 -1 4202560 8337 0 0 0 298 4 0 0 20 0 20 0 4028237 13587718144 54915 33554432000 4194304 4196468 140733743106608 140561738792664 140561717020042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31283] ppid=31279 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31283/stat : 31283 (java) S 31279 31279 16473 0 -1 1077944384 30 0 0 0 1 2 0 0 20 0 20 0 4028238 13587718144 54915 33554432000 4194304 4196468 140733743106608 140561666694288 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31284] ppid=31279 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31284/stat : 31284 (java) S 31279 31279 16473 0 -1 1077944384 249 0 0 0 1 2 0 0 20 0 20 0 4028238 13587718144 54915 33554432000 4194304 4196468 140733743106608 140561665641488 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31285] ppid=31279 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31285/stat : 31285 (java) S 31279 31279 16473 0 -1 1077944384 55 0 0 0 1 2 0 0 20 0 20 0 4028238 13587718144 54915 33554432000 4194304 4196468 140733743106608 140561664588688 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31286] ppid=31279 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31286/stat : 31286 (java) S 31279 31279 16473 0 -1 1077944384 136 0 0 0 1 2 0 0 20 0 20 0 4028238 13587718144 54915 33554432000 4194304 4196468 140733743106608 140561330703120 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31287] ppid=31279 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31287/stat : 31287 (java) S 31279 31279 16473 0 -1 1077944384 45 0 0 0 1 2 0 0 20 0 20 0 4028238 13587718144 54915 33554432000 4194304 4196468 140733743106608 140561329650320 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31288] ppid=31279 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31288/stat : 31288 (java) S 31279 31279 16473 0 -1 1077944384 55 0 0 0 1 2 0 0 20 0 20 0 4028238 13587718144 54915 33554432000 4194304 4196468 140733743106608 140561328597520 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31289] ppid=31279 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31289/stat : 31289 (java) S 31279 31279 16473 0 -1 1077944384 52 0 0 0 1 2 0 0 20 0 20 0 4028238 13587718144 54915 33554432000 4194304 4196468 140733743106608 140561327544720 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31290] ppid=31279 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31290/stat : 31290 (java) S 31279 31279 16473 0 -1 1077944384 27 0 0 0 1 2 0 0 20 0 20 0 4028238 13587718144 54915 33554432000 4194304 4196468 140733743106608 140561326491920 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31291] ppid=31279 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31291/stat : 31291 (java) S 31279 31279 16473 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 20 0 4028240 13587718144 54915 33554432000 4194304 4196468 140733743106608 140561263950704 140561734568578 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31292] ppid=31279 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31292/stat : 31292 (java) S 31279 31279 16473 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 4028241 13587718144 54915 33554432000 4194304 4196468 140733743106608 140561262896672 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31293] ppid=31279 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31293/stat : 31293 (java) S 31279 31279 16473 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 4028241 13587718144 54915 33554432000 4194304 4196468 140733743106608 140561261843824 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31294] ppid=31279 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31294/stat : 31294 (java) S 31279 31279 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4028245 13587718144 54915 33554432000 4194304 4196468 140733743106608 140561193363792 140561734576027 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31295] ppid=31279 vsize=13269256 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31295/stat : 31295 (java) S 31279 31279 16473 0 -1 1077944384 2141 0 0 0 47 0 0 0 20 0 20 0 4028245 13587718144 54915 33554432000 4194304 4196468 140733743106608 140561192311152 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31296] ppid=31279 vsize=13269256 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31296/stat : 31296 (java) S 31279 31279 16473 0 -1 1077944384 1818 0 0 0 58 0 0 0 20 0 20 0 4028245 13587718144 54915 33554432000 4194304 4196468 140733743106608 140561191258352 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31297] ppid=31279 vsize=13269256 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31297/stat : 31297 (java) S 31279 31279 16473 0 -1 1077944384 1593 0 0 0 47 0 0 0 20 0 20 0 4028245 13587718144 54915 33554432000 4194304 4196468 140733743106608 140561190205552 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31298] ppid=31279 vsize=13269256 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31298/stat : 31298 (java) S 31279 31279 16473 0 -1 1077944384 2931 0 0 0 45 0 0 0 20 0 20 0 4028245 13587718144 54915 33554432000 4194304 4196468 140733743106608 140561189152752 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31299] ppid=31279 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31299/stat : 31299 (java) S 31279 31279 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4028246 13587718144 54915 33554432000 4194304 4196468 140733743106608 140561188101216 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31300] ppid=31279 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31300/stat : 31300 (java) S 31279 31279 16473 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 4028246 13587718144 54915 33554432000 4194304 4196468 140733743106608 140561187048496 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
Current children cumulated CPU time (s) 5.38
Current children cumulated vsize (KiB) 13278768
[startup+6.30092 s]
/proc/loadavg: 10.82 14.00 14.27 3/284 31300
/proc/meminfo: memFree=25305536/32770624 swapFree=5736/256560
[pid=31279] ppid=31276 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31279/stat : 31279 (xcsp3-exec) S 31276 31279 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4028236 9740288 346 33554432000 4194304 5098028 140732942244544 140732942242648 140041086329468 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29351936 140732942247055 140732942247264 140732942247264 140732942249963 0
/proc/31279/statm: 2378 346 289 221 0 87 0
[pid=31280] ppid=31279 vsize=13269256 CPUtime=9.37 cores=0,2,4,6,8,10,12,14
/proc/31280/stat : 31280 (java) S 31279 31279 16473 0 -1 1077944320 20123 0 0 0 868 69 0 0 20 0 20 0 4028236 13587718144 76514 33554432000 4194304 4196468 140733743106608 140733743089152 140561734557431 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
/proc/31280/statm: 3317314 76514 3238 1 0 3304547 0
[pid=31280/tid=31281] ppid=31279 vsize=13269256 CPUtime=6.12 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31281/stat : 31281 (java) R 31279 31279 16473 0 -1 4202560 8371 0 0 0 608 4 0 0 20 0 20 0 4028237 13587718144 76514 33554432000 4194304 4196468 140733743106608 140561738791552 140561348827968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31283] ppid=31279 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31283/stat : 31283 (java) S 31279 31279 16473 0 -1 1077944384 93 0 0 0 6 7 0 0 20 0 20 0 4028238 13587718144 76514 33554432000 4194304 4196468 140733743106608 140561666694288 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31284] ppid=31279 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31284/stat : 31284 (java) S 31279 31279 16473 0 -1 1077944384 303 0 0 0 6 7 0 0 20 0 20 0 4028238 13587718144 76514 33554432000 4194304 4196468 140733743106608 140561665641488 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31285] ppid=31279 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31285/stat : 31285 (java) S 31279 31279 16473 0 -1 1077944384 123 0 0 0 5 8 0 0 20 0 20 0 4028238 13587718144 76514 33554432000 4194304 4196468 140733743106608 140561664588688 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31286] ppid=31279 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31286/stat : 31286 (java) S 31279 31279 16473 0 -1 1077944384 190 0 0 0 6 7 0 0 20 0 20 0 4028238 13587718144 76514 33554432000 4194304 4196468 140733743106608 140561330703120 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31287] ppid=31279 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31287/stat : 31287 (java) S 31279 31279 16473 0 -1 1077944384 110 0 0 0 6 7 0 0 20 0 20 0 4028238 13587718144 76514 33554432000 4194304 4196468 140733743106608 140561329650320 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31288] ppid=31279 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31288/stat : 31288 (java) S 31279 31279 16473 0 -1 1077944384 107 0 0 0 6 7 0 0 20 0 20 0 4028238 13587718144 76514 33554432000 4194304 4196468 140733743106608 140561328597520 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31289] ppid=31279 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31289/stat : 31289 (java) S 31279 31279 16473 0 -1 1077944384 103 0 0 0 6 7 0 0 20 0 20 0 4028238 13587718144 76514 33554432000 4194304 4196468 140733743106608 140561327544720 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31290] ppid=31279 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31290/stat : 31290 (java) S 31279 31279 16473 0 -1 1077944384 80 0 0 0 6 7 0 0 20 0 20 0 4028238 13587718144 76514 33554432000 4194304 4196468 140733743106608 140561326491920 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31291] ppid=31279 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31291/stat : 31291 (java) S 31279 31279 16473 0 -1 1077944384 190 0 0 0 0 0 0 0 20 0 20 0 4028240 13587718144 76514 33554432000 4194304 4196468 140733743106608 140561263950704 140561734568578 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31292] ppid=31279 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31292/stat : 31292 (java) S 31279 31279 16473 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 4028241 13587718144 76514 33554432000 4194304 4196468 140733743106608 140561262896672 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31293] ppid=31279 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31293/stat : 31293 (java) S 31279 31279 16473 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 4028241 13587718144 76514 33554432000 4194304 4196468 140733743106608 140561261843824 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31294] ppid=31279 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31294/stat : 31294 (java) S 31279 31279 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4028245 13587718144 76514 33554432000 4194304 4196468 140733743106608 140561193363792 140561734576027 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
################
# More data... #
################
/proc/31280/task/31299/stat : 31299 (java) S 31279 31279 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4028246 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561188101216 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31300] ppid=31279 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31300/stat : 31300 (java) S 31279 31279 16473 0 -1 1077944384 999 0 0 0 2 3 0 0 20 0 28 0 4028246 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561187048496 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 10 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31310] ppid=31279 vsize=13801768 CPUtime=28.08 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31310/stat : 31310 (java) R 31279 31279 16473 0 -1 4202560 1206 0 0 0 2808 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561179032584 140561351056519 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31311] ppid=31279 vsize=13801768 CPUtime=28.27 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31311/stat : 31311 (java) R 31279 31279 16473 0 -1 4202560 840 0 0 0 2827 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561177981176 140561346603709 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31312] ppid=31279 vsize=13801768 CPUtime=28.18 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31312/stat : 31312 (java) R 31279 31279 16473 0 -1 4202560 2064 0 0 0 2818 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561176928376 140561351056564 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31313] ppid=31279 vsize=13801768 CPUtime=27.89 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31313/stat : 31313 (java) R 31279 31279 16473 0 -1 4202560 2449 0 0 0 2789 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561175875624 140561350989310 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31314] ppid=31279 vsize=13801768 CPUtime=28.08 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31314/stat : 31314 (java) R 31279 31279 16473 0 -1 4202560 980 0 0 0 2808 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561174822680 140561351056744 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31315] ppid=31279 vsize=13801768 CPUtime=28.25 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31315/stat : 31315 (java) R 31279 31279 16473 0 -1 4202560 798 0 0 0 2825 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561173769880 140561346603781 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31316] ppid=31279 vsize=13801768 CPUtime=27.31 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31316/stat : 31316 (java) R 31279 31279 16473 0 -1 4202560 1036 0 0 0 2731 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561172718344 140561350989084 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31317] ppid=31279 vsize=13801768 CPUtime=28.17 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31317/stat : 31317 (java) R 31279 31279 16473 0 -1 4202560 950 0 0 0 2817 0 0 0 20 0 28 0 4034223 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561171665344 140561347180338 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
Current children cumulated CPU time (s) 336.98
Current children cumulated vsize (KiB) 13811280
[startup+89.6014 s]
/proc/loadavg: 8.07 12.17 13.59 17/293 31317
/proc/meminfo: memFree=19815608/32770624 swapFree=5736/256636
[pid=31279] ppid=31276 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31279/stat : 31279 (xcsp3-exec) S 31276 31279 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4028236 9740288 346 33554432000 4194304 5098028 140732942244544 140732942242648 140041086329468 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29351936 140732942247055 140732942247264 140732942247264 140732942249963 0
/proc/31279/statm: 2378 346 289 221 0 87 0
[pid=31280] ppid=31279 vsize=13801768 CPUtime=343.35 cores=0,2,4,6,8,10,12,14
/proc/31280/stat : 31280 (java) S 31279 31279 16473 0 -1 1077944320 90524 0 0 0 33313 1022 0 0 20 0 28 0 4028236 14133010432 747043 33554432000 4194304 4196468 140733743106608 140733743089152 140561734557431 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
/proc/31280/statm: 3450442 747043 3291 1 0 3437675 0
[pid=31280/tid=31281] ppid=31279 vsize=13801768 CPUtime=52.75 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31281/stat : 31281 (java) S 31279 31279 16473 0 -1 1077944384 12232 0 0 0 5265 10 0 0 20 0 28 0 4028237 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561738798208 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31283] ppid=31279 vsize=13801768 CPUtime=6.44 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31283/stat : 31283 (java) S 31279 31279 16473 0 -1 1077944384 1766 0 0 0 517 127 0 0 20 0 28 0 4028238 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561666694288 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31284] ppid=31279 vsize=13801768 CPUtime=6.47 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31284/stat : 31284 (java) S 31279 31279 16473 0 -1 1077944384 2380 0 0 0 526 121 0 0 20 0 28 0 4028238 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561665641488 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31285] ppid=31279 vsize=13801768 CPUtime=6.44 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31285/stat : 31285 (java) S 31279 31279 16473 0 -1 1077944384 1580 0 0 0 516 128 0 0 20 0 28 0 4028238 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561664588688 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31286] ppid=31279 vsize=13801768 CPUtime=6.39 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31286/stat : 31286 (java) S 31279 31279 16473 0 -1 1077944384 1806 0 0 0 522 117 0 0 20 0 28 0 4028238 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561330703120 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31287] ppid=31279 vsize=13801768 CPUtime=6.48 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31287/stat : 31287 (java) S 31279 31279 16473 0 -1 1077944384 1738 0 0 0 523 125 0 0 20 0 28 0 4028238 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561329650320 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31288] ppid=31279 vsize=13801768 CPUtime=6.38 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31288/stat : 31288 (java) S 31279 31279 16473 0 -1 1077944384 1642 0 0 0 516 122 0 0 20 0 28 0 4028238 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561328597520 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31289] ppid=31279 vsize=13801768 CPUtime=6.45 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31289/stat : 31289 (java) S 31279 31279 16473 0 -1 1077944384 1709 0 0 0 518 127 0 0 20 0 28 0 4028238 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561327544720 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31290] ppid=31279 vsize=13801768 CPUtime=6.39 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31290/stat : 31290 (java) S 31279 31279 16473 0 -1 1077944384 1761 0 0 0 517 122 0 0 20 0 28 0 4028238 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561326491920 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31291] ppid=31279 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31291/stat : 31291 (java) S 31279 31279 16473 0 -1 1077944384 7385 0 0 0 84 3 0 0 20 0 28 0 4028240 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561263950704 140561734568578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31292] ppid=31279 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31292/stat : 31292 (java) S 31279 31279 16473 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 4028241 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561262896736 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31293] ppid=31279 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31293/stat : 31293 (java) S 31279 31279 16473 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 28 0 4028241 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561261843840 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31294] ppid=31279 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31294/stat : 31294 (java) S 31279 31279 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4028245 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561193363792 140561734576027 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31295] ppid=31279 vsize=13801768 CPUtime=2.46 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31295/stat : 31295 (java) S 31279 31279 16473 0 -1 1077944384 14954 0 0 0 243 3 0 0 20 0 28 0 4028245 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561192311152 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 4 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31296] ppid=31279 vsize=13801768 CPUtime=2.33 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31296/stat : 31296 (java) S 31279 31279 16473 0 -1 1077944384 10474 0 0 0 232 1 0 0 20 0 28 0 4028245 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561191258352 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31297] ppid=31279 vsize=13801768 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31297/stat : 31297 (java) S 31279 31279 16473 0 -1 1077944384 11396 0 0 0 180 1 0 0 20 0 28 0 4028245 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561190205552 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 5 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31298] ppid=31279 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31298/stat : 31298 (java) S 31279 31279 16473 0 -1 1077944384 6941 0 0 0 80 1 0 0 20 0 28 0 4028245 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561189152752 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31299] ppid=31279 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31299/stat : 31299 (java) S 31279 31279 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4028246 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561188101216 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31300] ppid=31279 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31300/stat : 31300 (java) S 31279 31279 16473 0 -1 1077944384 999 0 0 0 2 3 0 0 20 0 28 0 4028246 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561187048496 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 10 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31310] ppid=31279 vsize=13801768 CPUtime=28.88 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31310/stat : 31310 (java) R 31279 31279 16473 0 -1 4202560 1206 0 0 0 2888 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561179032584 140561347180626 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31311] ppid=31279 vsize=13801768 CPUtime=29.07 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31311/stat : 31311 (java) R 31279 31279 16473 0 -1 4202560 846 0 0 0 2907 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561177981176 140561351056721 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31312] ppid=31279 vsize=13801768 CPUtime=28.98 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31312/stat : 31312 (java) R 31279 31279 16473 0 -1 4202560 2069 0 0 0 2898 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561176928376 140561346603522 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31313] ppid=31279 vsize=13801768 CPUtime=28.69 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31313/stat : 31313 (java) R 31279 31279 16473 0 -1 4202560 2449 0 0 0 2869 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561175875624 140561351056744 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31314] ppid=31279 vsize=13801768 CPUtime=28.87 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31314/stat : 31314 (java) R 31279 31279 16473 0 -1 4202560 985 0 0 0 2887 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561174822680 140561347180338 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31315] ppid=31279 vsize=13801768 CPUtime=29.05 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31315/stat : 31315 (java) R 31279 31279 16473 0 -1 4202560 802 0 0 0 2905 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561173770440 140561351056744 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31316] ppid=31279 vsize=13801768 CPUtime=28.09 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31316/stat : 31316 (java) R 31279 31279 16473 0 -1 4202560 1050 0 0 0 2809 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561172718344 140561351056744 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31317] ppid=31279 vsize=13801768 CPUtime=28.97 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31317/stat : 31317 (java) R 31279 31279 16473 0 -1 4202560 950 0 0 0 2897 0 0 0 20 0 28 0 4034223 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561171665344 140561347178906 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
Current children cumulated CPU time (s) 343.35
Current children cumulated vsize (KiB) 13811280
[startup+90.0015 s]
/proc/loadavg: 8.07 12.17 13.59 17/293 31317
/proc/meminfo: memFree=19815608/32770624 swapFree=5736/256636
[pid=31279] ppid=31276 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31279/stat : 31279 (xcsp3-exec) S 31276 31279 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4028236 9740288 346 33554432000 4194304 5098028 140732942244544 140732942242648 140041086329468 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29351936 140732942247055 140732942247264 140732942247264 140732942249963 0
/proc/31279/statm: 2378 346 289 221 0 87 0
[pid=31280] ppid=31279 vsize=13801768 CPUtime=346.54 cores=0,2,4,6,8,10,12,14
/proc/31280/stat : 31280 (java) S 31279 31279 16473 0 -1 1077944320 90619 0 0 0 33632 1022 0 0 20 0 28 0 4028236 14133010432 747043 33554432000 4194304 4196468 140733743106608 140733743089152 140561734557431 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
/proc/31280/statm: 3450442 747043 3291 1 0 3437675 0
[pid=31280/tid=31281] ppid=31279 vsize=13801768 CPUtime=52.75 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31281/stat : 31281 (java) S 31279 31279 16473 0 -1 1077944384 12232 0 0 0 5265 10 0 0 20 0 28 0 4028237 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561738798208 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31283] ppid=31279 vsize=13801768 CPUtime=6.44 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31283/stat : 31283 (java) S 31279 31279 16473 0 -1 1077944384 1766 0 0 0 517 127 0 0 20 0 28 0 4028238 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561666694288 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31284] ppid=31279 vsize=13801768 CPUtime=6.47 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31284/stat : 31284 (java) S 31279 31279 16473 0 -1 1077944384 2380 0 0 0 526 121 0 0 20 0 28 0 4028238 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561665641488 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31285] ppid=31279 vsize=13801768 CPUtime=6.44 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31285/stat : 31285 (java) S 31279 31279 16473 0 -1 1077944384 1580 0 0 0 516 128 0 0 20 0 28 0 4028238 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561664588688 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31286] ppid=31279 vsize=13801768 CPUtime=6.39 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31286/stat : 31286 (java) S 31279 31279 16473 0 -1 1077944384 1806 0 0 0 522 117 0 0 20 0 28 0 4028238 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561330703120 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31287] ppid=31279 vsize=13801768 CPUtime=6.48 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31287/stat : 31287 (java) S 31279 31279 16473 0 -1 1077944384 1738 0 0 0 523 125 0 0 20 0 28 0 4028238 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561329650320 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31288] ppid=31279 vsize=13801768 CPUtime=6.38 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31288/stat : 31288 (java) S 31279 31279 16473 0 -1 1077944384 1642 0 0 0 516 122 0 0 20 0 28 0 4028238 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561328597520 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31289] ppid=31279 vsize=13801768 CPUtime=6.45 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31289/stat : 31289 (java) S 31279 31279 16473 0 -1 1077944384 1709 0 0 0 518 127 0 0 20 0 28 0 4028238 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561327544720 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31290] ppid=31279 vsize=13801768 CPUtime=6.39 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31290/stat : 31290 (java) S 31279 31279 16473 0 -1 1077944384 1761 0 0 0 517 122 0 0 20 0 28 0 4028238 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561326491920 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31291] ppid=31279 vsize=13801768 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31291/stat : 31291 (java) S 31279 31279 16473 0 -1 1077944384 7385 0 0 0 84 3 0 0 20 0 28 0 4028240 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561263950704 140561734568578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31292] ppid=31279 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31292/stat : 31292 (java) S 31279 31279 16473 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 4028241 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561262896736 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31293] ppid=31279 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31293/stat : 31293 (java) S 31279 31279 16473 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 28 0 4028241 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561261843840 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31294] ppid=31279 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31294/stat : 31294 (java) S 31279 31279 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4028245 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561193363792 140561734576027 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31295] ppid=31279 vsize=13801768 CPUtime=2.46 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31295/stat : 31295 (java) S 31279 31279 16473 0 -1 1077944384 14954 0 0 0 243 3 0 0 20 0 28 0 4028245 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561192311152 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 4 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31296] ppid=31279 vsize=13801768 CPUtime=2.35 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31296/stat : 31296 (java) S 31279 31279 16473 0 -1 1077944384 10562 0 0 0 234 1 0 0 20 0 28 0 4028245 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561191258352 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31297] ppid=31279 vsize=13801768 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31297/stat : 31297 (java) S 31279 31279 16473 0 -1 1077944384 11396 0 0 0 180 1 0 0 20 0 28 0 4028245 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561190205552 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 5 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31298] ppid=31279 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31298/stat : 31298 (java) S 31279 31279 16473 0 -1 1077944384 6941 0 0 0 80 1 0 0 20 0 28 0 4028245 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561189152752 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31299] ppid=31279 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31299/stat : 31299 (java) S 31279 31279 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4028246 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561188101216 140561734567637 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31300] ppid=31279 vsize=13801768 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31300/stat : 31300 (java) S 31279 31279 16473 0 -1 1077944384 999 0 0 0 2 3 0 0 20 0 28 0 4028246 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561187048496 140561734568578 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 10 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31310] ppid=31279 vsize=13801768 CPUtime=29.28 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31310/stat : 31310 (java) R 31279 31279 16473 0 -1 4202560 1206 0 0 0 2928 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561179032584 140561351056744 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31311] ppid=31279 vsize=13801768 CPUtime=29.47 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31311/stat : 31311 (java) R 31279 31279 16473 0 -1 4202560 846 0 0 0 2947 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561177981176 140561351056721 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31312] ppid=31279 vsize=13801768 CPUtime=29.36 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31312/stat : 31312 (java) R 31279 31279 16473 0 -1 4202560 2069 0 0 0 2936 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561176928376 140561351056744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31313] ppid=31279 vsize=13801768 CPUtime=29.09 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31313/stat : 31313 (java) R 31279 31279 16473 0 -1 4202560 2452 0 0 0 2909 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561175875688 140561347179921 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31314] ppid=31279 vsize=13801768 CPUtime=29.27 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31314/stat : 31314 (java) R 31279 31279 16473 0 -1 4202560 985 0 0 0 2927 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561174822680 140561351056744 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31315] ppid=31279 vsize=13801768 CPUtime=29.45 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31315/stat : 31315 (java) R 31279 31279 16473 0 -1 4202560 806 0 0 0 2945 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561173770536 140561351056721 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31316] ppid=31279 vsize=13801768 CPUtime=28.48 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31316/stat : 31316 (java) R 31279 31279 16473 0 -1 4202560 1050 0 0 0 2848 0 0 0 20 0 28 0 4034222 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561172718344 140561347179921 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
[pid=31280/tid=31317] ppid=31279 vsize=13801768 CPUtime=29.37 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31317/stat : 31317 (java) R 31279 31279 16473 0 -1 4202560 950 0 0 0 2937 0 0 0 20 0 28 0 4034223 14133010432 747043 33554432000 4194304 4196468 140733743106608 140561171665344 140561350989273 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13021184 140733743109308 140733743109484 140733743109484 140733743112143 0
Current children cumulated CPU time (s) 346.54
Current children cumulated vsize (KiB) 13811280
[startup+90.1015 s]
/proc/loadavg: 8.07 12.17 13.59 17/293 31317
/proc/meminfo: memFree=19815608/32770624 swapFree=5736/256636
[pid=31279] ppid=31276 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31279/stat : 31279 (xcsp3-exec) S 31276 31279 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4028236 9740288 346 33554432000 4194304 5098028 140732942244544 140732942242648 140041086329468 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 29351936 140732942247055 140732942247264 140732942247264 140732942249963 0
/proc/31279/statm: 2378 346 289 221 0 87 0
[pid=31280] ppid=31279 vsize=0 CPUtime=347.2 cores=0,2,4,6,8,10,12,14
/proc/31280/stat : 31280 (java) Z 31279 31279 16473 0 -1 4227084 91347 0 0 0 33697 1023 0 0 20 0 2 0 4028236 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/31280/statm: 0 0 0 0 0 0 0
[pid=31280/tid=31299] ppid=31279 vsize=0 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31280/task/31299/stat : 31299 (java) R 31279 31279 16473 0 -1 4203588 3 0 0 0 0 0 0 0 20 0 2 0 4028246 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 12 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 347.2
Current children cumulated vsize (KiB) 9512
Child status: 0
Real time (s): 90.1063
CPU time (s): 347.216
CPU user time (s): 336.973
CPU system time (s): 10.2429
CPU usage (%): 385.34
Max. virtual memory (cumulated for all children) (KiB): 13813064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 336.973
system time used= 10.2429
maximum resident set size= 2996316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91876
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7750
involuntary context switches= 22649
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.840851 second user time and 0.939892 second system time
The end