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-4249961-1500696215/watcher-4249961-1500696215 -o /tmp/evaluation-result-4249961-1500696215/solver-4249961-1500696215 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 154313233 HOME/instance-4249961-1500696215.xml
pid=12944
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 12.18 11.60 12.72 3/264 12947
/proc/meminfo: memFree=28557236/32770624 swapFree=5808/127396
[pid=12947] ppid=12944 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12947/stat : 12947 (xcsp3-exec) S 12944 12947 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4886653 9740288 346 33554432000 4194304 5098028 140732942132000 140732942130104 139643461632636 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21835776 140732942140559 140732942140768 140732942140768 140732942143467 0
/proc/12947/statm: 2378 346 289 221 0 87 0
[startup+0.100063 s]
/proc/loadavg: 12.18 11.60 12.72 3/264 12947
/proc/meminfo: memFree=28557236/32770624 swapFree=5808/127396
[pid=12947] ppid=12944 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12947/stat : 12947 (xcsp3-exec) S 12944 12947 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4886653 9740288 346 33554432000 4194304 5098028 140732942132000 140732942130104 139643461632636 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21835776 140732942140559 140732942140768 140732942140768 140732942143467 0
/proc/12947/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200258 s]
/proc/loadavg: 12.18 11.60 12.72 3/264 12947
/proc/meminfo: memFree=28557236/32770624 swapFree=5808/127396
[pid=12947] ppid=12944 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12947/stat : 12947 (xcsp3-exec) S 12944 12947 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4886653 9740288 346 33554432000 4194304 5098028 140732942132000 140732942130104 139643461632636 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21835776 140732942140559 140732942140768 140732942140768 140732942143467 0
/proc/12947/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300226 s]
/proc/loadavg: 12.18 11.60 12.72 3/264 12947
/proc/meminfo: memFree=28557236/32770624 swapFree=5808/127396
[pid=12947] ppid=12944 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12947/stat : 12947 (xcsp3-exec) S 12944 12947 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4886653 9740288 346 33554432000 4194304 5098028 140732942132000 140732942130104 139643461632636 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21835776 140732942140559 140732942140768 140732942140768 140732942143467 0
/proc/12947/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700195 s]
/proc/loadavg: 12.18 11.60 12.72 3/264 12947
/proc/meminfo: memFree=28557236/32770624 swapFree=5808/127396
[pid=12947] ppid=12944 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12947/stat : 12947 (xcsp3-exec) S 12944 12947 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4886653 9740288 346 33554432000 4194304 5098028 140732942132000 140732942130104 139643461632636 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21835776 140732942140559 140732942140768 140732942140768 140732942143467 0
/proc/12947/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50083 s]
/proc/loadavg: 12.18 11.60 12.72 3/285 12968
/proc/meminfo: memFree=28266136/32770624 swapFree=5808/127448
[pid=12947] ppid=12944 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12947/stat : 12947 (xcsp3-exec) S 12944 12947 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4886653 9740288 346 33554432000 4194304 5098028 140732942132000 140732942130104 139643461632636 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21835776 140732942140559 140732942140768 140732942140768 140732942143467 0
/proc/12947/statm: 2378 346 289 221 0 87 0
[pid=12948] ppid=12947 vsize=13269256 CPUtime=3.78 cores=1,3,5,7,9,11,13,15
/proc/12948/stat : 12948 (java) S 12947 12947 15196 0 -1 1077944320 14632 0 0 0 338 40 0 0 20 0 20 0 4886654 13587718144 93115 33554432000 4194304 4196468 140735818334192 140735818316736 139814345354999 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
/proc/12948/statm: 3317314 93115 3231 1 0 3304547 0
[pid=12948/tid=12949] ppid=12947 vsize=13269256 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12949/stat : 12949 (java) R 12947 12947 15196 0 -1 4202560 6764 0 0 0 132 6 0 0 20 0 20 0 4886654 13587718144 93115 33554432000 4194304 4196468 140735818334192 139814349590520 139813957256421 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12951] ppid=12947 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12951/stat : 12951 (java) S 12947 12947 15196 0 -1 1077944384 67 0 0 0 4 3 0 0 20 0 20 0 4886655 13587718144 93115 33554432000 4194304 4196468 140735818334192 139814277491344 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12952] ppid=12947 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12952/stat : 12952 (java) S 12947 12947 15196 0 -1 1077944384 65 0 0 0 4 4 0 0 20 0 20 0 4886655 13587718144 93115 33554432000 4194304 4196468 140735818334192 139814276438544 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12953] ppid=12947 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12953/stat : 12953 (java) S 12947 12947 15196 0 -1 1077944384 62 0 0 0 3 3 0 0 20 0 20 0 4886655 13587718144 93115 33554432000 4194304 4196468 140735818334192 139814275385744 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12954] ppid=12947 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12954/stat : 12954 (java) S 12947 12947 15196 0 -1 1077944384 64 0 0 0 4 4 0 0 20 0 20 0 4886655 13587718144 93115 33554432000 4194304 4196468 140735818334192 139814274332944 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12955] ppid=12947 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12955/stat : 12955 (java) S 12947 12947 15196 0 -1 1077944384 69 0 0 0 3 3 0 0 20 0 20 0 4886655 13587718144 93115 33554432000 4194304 4196468 140735818334192 139814273281168 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12956] ppid=12947 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12956/stat : 12956 (java) S 12947 12947 15196 0 -1 1077944384 63 0 0 0 3 3 0 0 20 0 20 0 4886655 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813939285008 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12957] ppid=12947 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12957/stat : 12957 (java) S 12947 12947 15196 0 -1 1077944384 64 0 0 0 3 3 0 0 20 0 20 0 4886655 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813938232208 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12958] ppid=12947 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12958/stat : 12958 (java) S 12947 12947 15196 0 -1 1077944384 66 0 0 0 3 4 0 0 20 0 20 0 4886655 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813937179408 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12959] ppid=12947 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12959/stat : 12959 (java) S 12947 12947 15196 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4886657 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813874825584 139814345366146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12960] ppid=12947 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12960/stat : 12960 (java) S 12947 12947 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4886658 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813873771616 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12961] ppid=12947 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12961/stat : 12961 (java) S 12947 12947 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4886658 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813872718720 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12962] ppid=12947 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12962/stat : 12962 (java) S 12947 12947 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4886662 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813871667024 139814345373595 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12963] ppid=12947 vsize=13269256 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12963/stat : 12963 (java) S 12947 12947 15196 0 -1 1077944384 1703 0 0 0 46 0 0 0 20 0 20 0 4886662 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813870615408 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12964] ppid=12947 vsize=13269256 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12964/stat : 12964 (java) S 12947 12947 15196 0 -1 1077944384 1267 0 0 0 43 0 0 0 20 0 20 0 4886662 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813801945840 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12965] ppid=12947 vsize=13269256 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12965/stat : 12965 (java) S 12947 12947 15196 0 -1 1077944384 1385 0 0 0 43 0 0 0 20 0 20 0 4886662 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813800893040 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12966] ppid=12947 vsize=13269256 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12966/stat : 12966 (java) S 12947 12947 15196 0 -1 1077944384 1488 0 0 0 42 0 0 0 20 0 20 0 4886662 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813799840240 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12967] ppid=12947 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12967/stat : 12967 (java) S 12947 12947 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4886662 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813798787680 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12968] ppid=12947 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12968/stat : 12968 (java) S 12947 12947 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4886663 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813797734960 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 13278768
[startup+3.10085 s]
/proc/loadavg: 12.18 11.60 12.72 3/285 12968
/proc/meminfo: memFree=28018160/32770624 swapFree=5808/127448
[pid=12947] ppid=12944 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12947/stat : 12947 (xcsp3-exec) S 12944 12947 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4886653 9740288 346 33554432000 4194304 5098028 140732942132000 140732942130104 139643461632636 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21835776 140732942140559 140732942140768 140732942140768 140732942143467 0
/proc/12947/statm: 2378 346 289 221 0 87 0
[pid=12948] ppid=12947 vsize=13269256 CPUtime=5.38 cores=1,3,5,7,9,11,13,15
/proc/12948/stat : 12948 (java) S 12947 12947 15196 0 -1 1077944320 14646 0 0 0 498 40 0 0 20 0 20 0 4886654 13587718144 93115 33554432000 4194304 4196468 140735818334192 140735818316736 139814345354999 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
/proc/12948/statm: 3317314 93115 3231 1 0 3304547 0
[pid=12948/tid=12949] ppid=12947 vsize=13269256 CPUtime=2.98 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12949/stat : 12949 (java) R 12947 12947 15196 0 -1 4202560 6778 0 0 0 292 6 0 0 20 0 20 0 4886654 13587718144 93115 33554432000 4194304 4196468 140735818334192 139814349590096 139813957256481 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12951] ppid=12947 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12951/stat : 12951 (java) S 12947 12947 15196 0 -1 1077944384 67 0 0 0 4 3 0 0 20 0 20 0 4886655 13587718144 93115 33554432000 4194304 4196468 140735818334192 139814277491344 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12952] ppid=12947 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12952/stat : 12952 (java) S 12947 12947 15196 0 -1 1077944384 65 0 0 0 4 4 0 0 20 0 20 0 4886655 13587718144 93115 33554432000 4194304 4196468 140735818334192 139814276438544 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12953] ppid=12947 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12953/stat : 12953 (java) S 12947 12947 15196 0 -1 1077944384 62 0 0 0 3 3 0 0 20 0 20 0 4886655 13587718144 93115 33554432000 4194304 4196468 140735818334192 139814275385744 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12954] ppid=12947 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12954/stat : 12954 (java) S 12947 12947 15196 0 -1 1077944384 64 0 0 0 4 4 0 0 20 0 20 0 4886655 13587718144 93115 33554432000 4194304 4196468 140735818334192 139814274332944 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12955] ppid=12947 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12955/stat : 12955 (java) S 12947 12947 15196 0 -1 1077944384 69 0 0 0 3 3 0 0 20 0 20 0 4886655 13587718144 93115 33554432000 4194304 4196468 140735818334192 139814273281168 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12956] ppid=12947 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12956/stat : 12956 (java) S 12947 12947 15196 0 -1 1077944384 63 0 0 0 3 3 0 0 20 0 20 0 4886655 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813939285008 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12957] ppid=12947 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12957/stat : 12957 (java) S 12947 12947 15196 0 -1 1077944384 64 0 0 0 3 3 0 0 20 0 20 0 4886655 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813938232208 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12958] ppid=12947 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12958/stat : 12958 (java) S 12947 12947 15196 0 -1 1077944384 66 0 0 0 3 4 0 0 20 0 20 0 4886655 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813937179408 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12959] ppid=12947 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12959/stat : 12959 (java) S 12947 12947 15196 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4886657 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813874825584 139814345366146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12960] ppid=12947 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12960/stat : 12960 (java) S 12947 12947 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4886658 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813873771616 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12961] ppid=12947 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12961/stat : 12961 (java) S 12947 12947 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4886658 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813872718720 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12962] ppid=12947 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12962/stat : 12962 (java) S 12947 12947 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4886662 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813871667024 139814345373595 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12963] ppid=12947 vsize=13269256 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12963/stat : 12963 (java) S 12947 12947 15196 0 -1 1077944384 1703 0 0 0 46 0 0 0 20 0 20 0 4886662 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813870615408 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12964] ppid=12947 vsize=13269256 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12964/stat : 12964 (java) S 12947 12947 15196 0 -1 1077944384 1267 0 0 0 43 0 0 0 20 0 20 0 4886662 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813801945840 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12965] ppid=12947 vsize=13269256 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12965/stat : 12965 (java) S 12947 12947 15196 0 -1 1077944384 1385 0 0 0 43 0 0 0 20 0 20 0 4886662 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813800893040 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12966] ppid=12947 vsize=13269256 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12966/stat : 12966 (java) S 12947 12947 15196 0 -1 1077944384 1488 0 0 0 42 0 0 0 20 0 20 0 4886662 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813799840240 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12967] ppid=12947 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12967/stat : 12967 (java) S 12947 12947 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4886662 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813798787680 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12968] ppid=12947 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12968/stat : 12968 (java) S 12947 12947 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4886663 13587718144 93115 33554432000 4194304 4196468 140735818334192 139813797734960 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
Current children cumulated CPU time (s) 5.38
Current children cumulated vsize (KiB) 13278768
[startup+6.30087 s]
/proc/loadavg: 11.68 11.51 12.68 3/285 12968
/proc/meminfo: memFree=27200464/32770624 swapFree=5808/127448
[pid=12947] ppid=12944 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12947/stat : 12947 (xcsp3-exec) S 12944 12947 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4886653 9740288 346 33554432000 4194304 5098028 140732942132000 140732942130104 139643461632636 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21835776 140732942140559 140732942140768 140732942140768 140732942143467 0
/proc/12947/statm: 2378 346 289 221 0 87 0
[pid=12948] ppid=12947 vsize=13269256 CPUtime=8.58 cores=1,3,5,7,9,11,13,15
/proc/12948/stat : 12948 (java) S 12947 12947 15196 0 -1 1077944320 15355 0 0 0 818 40 0 0 20 0 20 0 4886654 13587718144 93185 33554432000 4194304 4196468 140735818334192 140735818316736 139814345354999 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
/proc/12948/statm: 3317314 93185 3231 1 0 3304547 0
[pid=12948/tid=12949] ppid=12947 vsize=13269256 CPUtime=6.18 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12949/stat : 12949 (java) R 12947 12947 15196 0 -1 4202560 6912 0 0 0 612 6 0 0 20 0 20 0 4886654 13587718144 93185 33554432000 4194304 4196468 140735818334192 139814349590096 139813957256481 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12951] ppid=12947 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12951/stat : 12951 (java) S 12947 12947 15196 0 -1 1077944384 67 0 0 0 4 3 0 0 20 0 20 0 4886655 13587718144 93185 33554432000 4194304 4196468 140735818334192 139814277491344 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12952] ppid=12947 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12952/stat : 12952 (java) S 12947 12947 15196 0 -1 1077944384 65 0 0 0 4 4 0 0 20 0 20 0 4886655 13587718144 93185 33554432000 4194304 4196468 140735818334192 139814276438544 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12953] ppid=12947 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12953/stat : 12953 (java) S 12947 12947 15196 0 -1 1077944384 62 0 0 0 3 3 0 0 20 0 20 0 4886655 13587718144 93185 33554432000 4194304 4196468 140735818334192 139814275385744 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12954] ppid=12947 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12954/stat : 12954 (java) S 12947 12947 15196 0 -1 1077944384 64 0 0 0 4 4 0 0 20 0 20 0 4886655 13587718144 93185 33554432000 4194304 4196468 140735818334192 139814274332944 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12955] ppid=12947 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12955/stat : 12955 (java) S 12947 12947 15196 0 -1 1077944384 69 0 0 0 3 3 0 0 20 0 20 0 4886655 13587718144 93185 33554432000 4194304 4196468 140735818334192 139814273281168 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12956] ppid=12947 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12956/stat : 12956 (java) S 12947 12947 15196 0 -1 1077944384 63 0 0 0 3 3 0 0 20 0 20 0 4886655 13587718144 93185 33554432000 4194304 4196468 140735818334192 139813939285008 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12957] ppid=12947 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12957/stat : 12957 (java) S 12947 12947 15196 0 -1 1077944384 64 0 0 0 3 3 0 0 20 0 20 0 4886655 13587718144 93185 33554432000 4194304 4196468 140735818334192 139813938232208 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12958] ppid=12947 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12958/stat : 12958 (java) S 12947 12947 15196 0 -1 1077944384 66 0 0 0 3 4 0 0 20 0 20 0 4886655 13587718144 93185 33554432000 4194304 4196468 140735818334192 139813937179408 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12959] ppid=12947 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12959/stat : 12959 (java) S 12947 12947 15196 0 -1 1077944384 265 0 0 0 0 0 0 0 20 0 20 0 4886657 13587718144 93185 33554432000 4194304 4196468 140735818334192 139813874825584 139814345366146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12960] ppid=12947 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12960/stat : 12960 (java) S 12947 12947 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4886658 13587718144 93185 33554432000 4194304 4196468 140735818334192 139813873771616 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12961] ppid=12947 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12961/stat : 12961 (java) S 12947 12947 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4886658 13587718144 93185 33554432000 4194304 4196468 140735818334192 139813872718720 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12962] ppid=12947 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12962/stat : 12962 (java) S 12947 12947 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4886662 13587718144 93185 33554432000 4194304 4196468 140735818334192 139813871667024 139814345373595 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
################
# More data... #
################
/proc/12948/task/12965/stat : 12965 (java) S 12947 12947 15196 0 -1 1077944384 2557 0 0 0 50 0 0 0 20 0 21 0 4886662 13655879680 2674912 33554432000 4194304 4196468 140735818334192 139813800893040 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12966] ppid=12947 vsize=13335820 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12966/stat : 12966 (java) S 12947 12947 15196 0 -1 1077944384 4100 0 0 0 47 0 0 0 20 0 21 0 4886662 13655879680 2674912 33554432000 4194304 4196468 140735818334192 139813799840240 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12967] ppid=12947 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12967/stat : 12967 (java) S 12947 12947 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4886662 13655879680 2674912 33554432000 4194304 4196468 140735818334192 139813798787680 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12968] ppid=12947 vsize=13335820 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12968/stat : 12968 (java) S 12947 12947 15196 0 -1 1077944384 1021 0 0 0 14 19 0 0 20 0 21 0 4886663 13655879680 2674912 33554432000 4194304 4196468 140735818334192 139813797734960 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 13 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=13477] ppid=12947 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/13477/stat : 13477 (java) S 12947 12947 15196 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 21 0 4939005 13655879680 2674912 33554432000 4194304 4196468 140735818334192 139813790223552 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
Current children cumulated CPU time (s) 887.16
Current children cumulated vsize (KiB) 13345332
[startup+525.701 s]
/proc/loadavg: 11.65 9.59 10.84 17/292 13477
/proc/meminfo: memFree=17547004/32770624 swapFree=5808/128192
[pid=12947] ppid=12944 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12947/stat : 12947 (xcsp3-exec) S 12944 12947 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4886653 9740288 346 33554432000 4194304 5098028 140732942132000 140732942130104 139643461632636 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21835776 140732942140559 140732942140768 140732942140768 140732942143467 0
/proc/12947/statm: 2378 346 289 221 0 87 0
[pid=12948] ppid=12947 vsize=13335820 CPUtime=893.45 cores=1,3,5,7,9,11,13,15
/proc/12948/stat : 12948 (java) S 12947 12947 15196 0 -1 1077944320 204201 0 0 0 86073 3272 0 0 20 0 21 0 4886654 13655879680 2674915 33554432000 4194304 4196468 140735818334192 140735818316736 139814345354999 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
/proc/12948/statm: 3333955 2674915 3257 1 0 3321188 0
[pid=12948/tid=12949] ppid=12947 vsize=13335820 CPUtime=463.57 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12949/stat : 12949 (java) S 12947 12947 15196 0 -1 1077944384 24910 0 0 0 46335 22 0 0 20 0 21 0 4886654 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139814349595680 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12951] ppid=12947 vsize=13335820 CPUtime=52.36 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12951/stat : 12951 (java) R 12947 12947 15196 0 -1 4202560 17696 0 0 0 4848 388 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139814277491464 139814337983207 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12952] ppid=12947 vsize=13335820 CPUtime=52.41 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12952/stat : 12952 (java) R 12947 12947 15196 0 -1 4202560 9826 0 0 0 4855 386 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139814276438664 139814337983207 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12953] ppid=12947 vsize=13335820 CPUtime=52.25 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12953/stat : 12953 (java) R 12947 12947 15196 0 -1 4202560 17330 0 0 0 4786 439 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139814275385864 139814338454663 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12954] ppid=12947 vsize=13335820 CPUtime=52.39 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12954/stat : 12954 (java) R 12947 12947 15196 0 -1 4202560 17907 0 0 0 4839 400 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139814274333064 139814338457978 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12955] ppid=12947 vsize=13335820 CPUtime=52.46 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12955/stat : 12955 (java) R 12947 12947 15196 0 -1 4202560 15604 0 0 0 4830 416 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139814273281288 139814337983207 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12956] ppid=12947 vsize=13335820 CPUtime=52.09 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12956/stat : 12956 (java) R 12947 12947 15196 0 -1 4202560 11941 0 0 0 4793 416 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813939285128 139814337983207 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12957] ppid=12947 vsize=13335820 CPUtime=52.42 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12957/stat : 12957 (java) R 12947 12947 15196 0 -1 4202560 16833 0 0 0 4866 376 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813938232328 139814338458038 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12958] ppid=12947 vsize=13335820 CPUtime=52.26 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12958/stat : 12958 (java) R 12947 12947 15196 0 -1 4202560 15109 0 0 0 4826 400 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813937179528 139814338457971 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12959] ppid=12947 vsize=13335820 CPUtime=8.74 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12959/stat : 12959 (java) S 12947 12947 15196 0 -1 1077944384 42433 0 0 0 870 4 0 0 20 0 21 0 4886657 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813874824128 139814345365205 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12960] ppid=12947 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12960/stat : 12960 (java) S 12947 12947 15196 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 21 0 4886658 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813873771616 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12961] ppid=12947 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12961/stat : 12961 (java) S 12947 12947 15196 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 21 0 4886658 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813872718720 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12962] ppid=12947 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12962/stat : 12962 (java) S 12947 12947 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4886662 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813871667024 139814345373595 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12963] ppid=12947 vsize=13335820 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12963/stat : 12963 (java) S 12947 12947 15196 0 -1 1077944384 3058 0 0 0 52 0 0 0 20 0 21 0 4886662 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813870615408 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12964] ppid=12947 vsize=13335820 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12964/stat : 12964 (java) S 12947 12947 15196 0 -1 1077944384 2537 0 0 0 49 1 0 0 20 0 21 0 4886662 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813801945840 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12965] ppid=12947 vsize=13335820 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12965/stat : 12965 (java) S 12947 12947 15196 0 -1 1077944384 2557 0 0 0 50 0 0 0 20 0 21 0 4886662 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813800893040 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12966] ppid=12947 vsize=13335820 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12966/stat : 12966 (java) S 12947 12947 15196 0 -1 1077944384 4100 0 0 0 47 0 0 0 20 0 21 0 4886662 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813799840240 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12967] ppid=12947 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12967/stat : 12967 (java) S 12947 12947 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4886662 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813798787680 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12968] ppid=12947 vsize=13335820 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12968/stat : 12968 (java) S 12947 12947 15196 0 -1 1077944384 1021 0 0 0 14 19 0 0 20 0 21 0 4886663 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813797734960 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 13 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=13477] ppid=12947 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/13477/stat : 13477 (java) S 12947 12947 15196 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 21 0 4939005 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813790223552 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
Current children cumulated CPU time (s) 893.45
Current children cumulated vsize (KiB) 13345332
[startup+526.101 s]
/proc/loadavg: 11.65 9.59 10.84 17/292 13477
/proc/meminfo: memFree=17547004/32770624 swapFree=5808/128192
[pid=12947] ppid=12944 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12947/stat : 12947 (xcsp3-exec) S 12944 12947 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4886653 9740288 346 33554432000 4194304 5098028 140732942132000 140732942130104 139643461632636 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21835776 140732942140559 140732942140768 140732942140768 140732942143467 0
/proc/12947/statm: 2378 346 289 221 0 87 0
[pid=12948] ppid=12947 vsize=13335820 CPUtime=895.43 cores=1,3,5,7,9,11,13,15
/proc/12948/stat : 12948 (java) S 12947 12947 15196 0 -1 1077944320 204330 0 0 0 86271 3272 0 0 20 0 21 0 4886654 13655879680 2674915 33554432000 4194304 4196468 140735818334192 140735818316736 139814345354999 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
/proc/12948/statm: 3333955 2674915 3257 1 0 3321188 0
[pid=12948/tid=12949] ppid=12947 vsize=13335820 CPUtime=463.57 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12949/stat : 12949 (java) S 12947 12947 15196 0 -1 1077944384 24910 0 0 0 46335 22 0 0 20 0 21 0 4886654 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139814349595680 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12951] ppid=12947 vsize=13335820 CPUtime=52.58 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12951/stat : 12951 (java) S 12947 12947 15196 0 -1 1077944384 17696 0 0 0 4870 388 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139814277491344 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12952] ppid=12947 vsize=13335820 CPUtime=52.64 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12952/stat : 12952 (java) S 12947 12947 15196 0 -1 1077944384 9826 0 0 0 4878 386 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139814276438544 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12953] ppid=12947 vsize=13335820 CPUtime=52.49 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12953/stat : 12953 (java) S 12947 12947 15196 0 -1 1077944384 17330 0 0 0 4809 440 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139814275385744 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12954] ppid=12947 vsize=13335820 CPUtime=52.61 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12954/stat : 12954 (java) S 12947 12947 15196 0 -1 1077944384 17908 0 0 0 4861 400 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139814274332944 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12955] ppid=12947 vsize=13335820 CPUtime=52.69 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12955/stat : 12955 (java) S 12947 12947 15196 0 -1 1077944384 15604 0 0 0 4853 416 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139814273281168 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12956] ppid=12947 vsize=13335820 CPUtime=52.32 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12956/stat : 12956 (java) S 12947 12947 15196 0 -1 1077944384 11941 0 0 0 4816 416 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813939285008 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12957] ppid=12947 vsize=13335820 CPUtime=52.65 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12957/stat : 12957 (java) S 12947 12947 15196 0 -1 1077944384 16833 0 0 0 4889 376 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813938232208 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12958] ppid=12947 vsize=13335820 CPUtime=52.49 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12958/stat : 12958 (java) S 12947 12947 15196 0 -1 1077944384 15110 0 0 0 4849 400 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813937179408 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12959] ppid=12947 vsize=13335820 CPUtime=8.91 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12959/stat : 12959 (java) R 12947 12947 15196 0 -1 4202560 42560 0 0 0 887 4 0 0 20 0 21 0 4886657 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813874824016 139814330351380 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12960] ppid=12947 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12960/stat : 12960 (java) S 12947 12947 15196 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 21 0 4886658 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813873771616 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12961] ppid=12947 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12961/stat : 12961 (java) S 12947 12947 15196 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 21 0 4886658 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813872718720 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12962] ppid=12947 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12962/stat : 12962 (java) S 12947 12947 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4886662 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813871667024 139814345373595 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12963] ppid=12947 vsize=13335820 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12963/stat : 12963 (java) S 12947 12947 15196 0 -1 1077944384 3058 0 0 0 52 0 0 0 20 0 21 0 4886662 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813870615408 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12964] ppid=12947 vsize=13335820 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12964/stat : 12964 (java) S 12947 12947 15196 0 -1 1077944384 2537 0 0 0 49 1 0 0 20 0 21 0 4886662 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813801945840 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12965] ppid=12947 vsize=13335820 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12965/stat : 12965 (java) S 12947 12947 15196 0 -1 1077944384 2557 0 0 0 50 0 0 0 20 0 21 0 4886662 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813800893040 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12966] ppid=12947 vsize=13335820 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12966/stat : 12966 (java) S 12947 12947 15196 0 -1 1077944384 4100 0 0 0 47 0 0 0 20 0 21 0 4886662 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813799840240 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12967] ppid=12947 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12967/stat : 12967 (java) S 12947 12947 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4886662 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813798787680 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12968] ppid=12947 vsize=13335820 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12968/stat : 12968 (java) S 12947 12947 15196 0 -1 1077944384 1021 0 0 0 14 19 0 0 20 0 21 0 4886663 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813797734960 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 13 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=13477] ppid=12947 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/13477/stat : 13477 (java) S 12947 12947 15196 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 21 0 4939005 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813790223552 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
Current children cumulated CPU time (s) 895.43
Current children cumulated vsize (KiB) 13345332
[startup+526.201 s]
/proc/loadavg: 11.65 9.59 10.84 17/292 13477
/proc/meminfo: memFree=17547004/32770624 swapFree=5808/128192
[pid=12947] ppid=12944 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12947/stat : 12947 (xcsp3-exec) S 12944 12947 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4886653 9740288 346 33554432000 4194304 5098028 140732942132000 140732942130104 139643461632636 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21835776 140732942140559 140732942140768 140732942140768 140732942143467 0
/proc/12947/statm: 2378 346 289 221 0 87 0
[pid=12948] ppid=12947 vsize=13335820 CPUtime=895.53 cores=1,3,5,7,9,11,13,15
/proc/12948/stat : 12948 (java) S 12947 12947 15196 0 -1 1077944320 204330 0 0 0 86281 3272 0 0 20 0 21 0 4886654 13655879680 2674915 33554432000 4194304 4196468 140735818334192 140735818316736 139814345354999 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
/proc/12948/statm: 3333955 2674915 3257 1 0 3321188 0
[pid=12948/tid=12949] ppid=12947 vsize=13335820 CPUtime=463.57 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12949/stat : 12949 (java) S 12947 12947 15196 0 -1 1077944384 24910 0 0 0 46335 22 0 0 20 0 21 0 4886654 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139814349595680 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12951] ppid=12947 vsize=13335820 CPUtime=52.58 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12951/stat : 12951 (java) S 12947 12947 15196 0 -1 1077944384 17696 0 0 0 4870 388 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139814277491344 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12952] ppid=12947 vsize=13335820 CPUtime=52.64 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12952/stat : 12952 (java) S 12947 12947 15196 0 -1 1077944384 9826 0 0 0 4878 386 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139814276438544 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12953] ppid=12947 vsize=13335820 CPUtime=52.49 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12953/stat : 12953 (java) S 12947 12947 15196 0 -1 1077944384 17330 0 0 0 4809 440 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139814275385744 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12954] ppid=12947 vsize=13335820 CPUtime=52.61 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12954/stat : 12954 (java) S 12947 12947 15196 0 -1 1077944384 17908 0 0 0 4861 400 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139814274332944 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12955] ppid=12947 vsize=13335820 CPUtime=52.69 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12955/stat : 12955 (java) S 12947 12947 15196 0 -1 1077944384 15604 0 0 0 4853 416 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139814273281168 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12956] ppid=12947 vsize=13335820 CPUtime=52.32 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12956/stat : 12956 (java) S 12947 12947 15196 0 -1 1077944384 11941 0 0 0 4816 416 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813939285008 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12957] ppid=12947 vsize=13335820 CPUtime=52.65 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12957/stat : 12957 (java) S 12947 12947 15196 0 -1 1077944384 16833 0 0 0 4889 376 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813938232208 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12958] ppid=12947 vsize=13335820 CPUtime=52.49 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12958/stat : 12958 (java) S 12947 12947 15196 0 -1 1077944384 15110 0 0 0 4849 400 0 0 20 0 21 0 4886655 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813937179408 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12959] ppid=12947 vsize=13335820 CPUtime=9.01 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12959/stat : 12959 (java) R 12947 12947 15196 0 -1 4202560 42560 0 0 0 897 4 0 0 20 0 21 0 4886657 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813874824016 139814323725160 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12960] ppid=12947 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12960/stat : 12960 (java) S 12947 12947 15196 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 21 0 4886658 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813873771616 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12961] ppid=12947 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12961/stat : 12961 (java) S 12947 12947 15196 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 21 0 4886658 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813872718720 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12962] ppid=12947 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12962/stat : 12962 (java) S 12947 12947 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4886662 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813871667024 139814345373595 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12963] ppid=12947 vsize=13335820 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12963/stat : 12963 (java) S 12947 12947 15196 0 -1 1077944384 3058 0 0 0 52 0 0 0 20 0 21 0 4886662 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813870615408 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12964] ppid=12947 vsize=13335820 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12964/stat : 12964 (java) S 12947 12947 15196 0 -1 1077944384 2537 0 0 0 49 1 0 0 20 0 21 0 4886662 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813801945840 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12965] ppid=12947 vsize=13335820 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12965/stat : 12965 (java) S 12947 12947 15196 0 -1 1077944384 2557 0 0 0 50 0 0 0 20 0 21 0 4886662 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813800893040 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12966] ppid=12947 vsize=13335820 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12966/stat : 12966 (java) S 12947 12947 15196 0 -1 1077944384 4100 0 0 0 47 0 0 0 20 0 21 0 4886662 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813799840240 139814345366146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12967] ppid=12947 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12967/stat : 12967 (java) S 12947 12947 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4886662 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813798787680 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=12968] ppid=12947 vsize=13335820 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/12948/task/12968/stat : 12968 (java) R 12947 12947 15196 0 -1 1077944384 1021 0 0 0 14 19 0 0 20 0 21 0 4886663 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813797734960 139814345366146 0 4 0 16800975 0 0 0 -1 13 0 0 13 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
[pid=12948/tid=13477] ppid=12947 vsize=13335820 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12948/task/13477/stat : 13477 (java) S 12947 12947 15196 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 21 0 4939005 13655879680 2674915 33554432000 4194304 4196468 140735818334192 139813790223552 139814345365205 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14860288 140735818339516 140735818339692 140735818339692 140735818342351 0
Current children cumulated CPU time (s) 895.53
Current children cumulated vsize (KiB) 13345332
Child status: 1
Real time (s): 526.271
CPU time (s): 895.604
CPU user time (s): 862.822
CPU system time (s): 32.7819
CPU usage (%): 170.179
Max. virtual memory (cumulated for all children) (KiB): 13345332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 862.822
system time used= 32.7819
maximum resident set size= 10700064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204927
page faults= 0
swaps= 0
block input operations= 0
block output operations= 768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21597
involuntary context switches= 56183
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.64846 second user time and 5.22344 second system time
The end