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-4246800-1500688327/watcher-4246800-1500688327 -o /tmp/evaluation-result-4246800-1500688327/solver-4246800-1500688327 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1023743347 HOME/instance-4246800-1500688327.xml
pid=3583
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.79 15.06 14.88 3/273 3586
/proc/meminfo: memFree=29947568/32770624 swapFree=5972/256896
[pid=3586] ppid=3583 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3586/stat : 3586 (xcsp3-exec) S 3583 3586 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4102203 9740288 346 33554432000 4194304 5098028 140720316659280 140720316657384 140580450255484 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7786496 140720316662926 140720316663136 140720316663136 140720316665835 0
/proc/3586/statm: 2378 346 289 221 0 87 0
[startup+0.100068 s]
/proc/loadavg: 15.79 15.06 14.88 3/273 3586
/proc/meminfo: memFree=29947568/32770624 swapFree=5972/256896
[pid=3586] ppid=3583 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3586/stat : 3586 (xcsp3-exec) S 3583 3586 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4102203 9740288 346 33554432000 4194304 5098028 140720316659280 140720316657384 140580450255484 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7786496 140720316662926 140720316663136 140720316663136 140720316665835 0
/proc/3586/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200372 s]
/proc/loadavg: 15.79 15.06 14.88 3/273 3586
/proc/meminfo: memFree=29947568/32770624 swapFree=5972/256896
[pid=3586] ppid=3583 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3586/stat : 3586 (xcsp3-exec) S 3583 3586 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4102203 9740288 346 33554432000 4194304 5098028 140720316659280 140720316657384 140580450255484 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7786496 140720316662926 140720316663136 140720316663136 140720316665835 0
/proc/3586/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300316 s]
/proc/loadavg: 15.79 15.06 14.88 3/273 3586
/proc/meminfo: memFree=29947568/32770624 swapFree=5972/256896
[pid=3586] ppid=3583 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3586/stat : 3586 (xcsp3-exec) S 3583 3586 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4102203 9740288 346 33554432000 4194304 5098028 140720316659280 140720316657384 140580450255484 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7786496 140720316662926 140720316663136 140720316663136 140720316665835 0
/proc/3586/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700182 s]
/proc/loadavg: 15.79 15.06 14.88 3/273 3586
/proc/meminfo: memFree=29947568/32770624 swapFree=5972/256896
[pid=3586] ppid=3583 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3586/stat : 3586 (xcsp3-exec) S 3583 3586 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4102203 9740288 346 33554432000 4194304 5098028 140720316659280 140720316657384 140580450255484 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7786496 140720316662926 140720316663136 140720316663136 140720316665835 0
/proc/3586/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50082 s]
/proc/loadavg: 15.79 15.06 14.88 7/294 3607
/proc/meminfo: memFree=29778316/32770624 swapFree=5972/257256
[pid=3586] ppid=3583 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3586/stat : 3586 (xcsp3-exec) S 3583 3586 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4102203 9740288 346 33554432000 4194304 5098028 140720316659280 140720316657384 140580450255484 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7786496 140720316662926 140720316663136 140720316663136 140720316665835 0
/proc/3586/statm: 2378 346 289 221 0 87 0
[pid=3587] ppid=3586 vsize=13801768 CPUtime=5.42 cores=0,2,4,6,8,10,12,14
/proc/3587/stat : 3587 (java) S 3586 3586 14626 0 -1 1077944320 22514 0 0 0 521 21 0 0 20 0 28 0 4102204 14133010432 55848 33554432000 4194304 4196468 140737201924880 140737201907424 140313807351543 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
/proc/3587/statm: 3450442 55848 3243 1 0 3437675 0
[pid=3587/tid=3588] ppid=3586 vsize=13801768 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3588/stat : 3588 (java) S 3586 3586 14626 0 -1 1077944384 8501 0 0 0 123 5 0 0 20 0 28 0 4102204 14133010432 55848 33554432000 4194304 4196468 140737201924880 140313811592320 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3590] ppid=3586 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3590/stat : 3590 (java) S 3586 3586 14626 0 -1 1077944384 59 0 0 0 2 1 0 0 20 0 28 0 4102205 14133010432 55848 33554432000 4194304 4196468 140737201924880 140313406143248 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3591] ppid=3586 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3591/stat : 3591 (java) S 3586 3586 14626 0 -1 1077944384 47 0 0 0 2 1 0 0 20 0 28 0 4102205 14133010432 55848 33554432000 4194304 4196468 140737201924880 140313405090704 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3592] ppid=3586 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3592/stat : 3592 (java) S 3586 3586 14626 0 -1 1077944384 109 0 0 0 1 0 0 0 20 0 28 0 4102205 14133010432 55848 33554432000 4194304 4196468 140737201924880 140313404038160 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3593] ppid=3586 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3593/stat : 3593 (java) S 3586 3586 14626 0 -1 1077944384 22 0 0 0 2 2 0 0 20 0 28 0 4102205 14133010432 55848 33554432000 4194304 4196468 140737201924880 140313402985616 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3594] ppid=3586 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3594/stat : 3594 (java) S 3586 3586 14626 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 4102205 14133010432 55848 33554432000 4194304 4196468 140737201924880 140313401932048 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3595] ppid=3586 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3595/stat : 3595 (java) S 3586 3586 14626 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 28 0 4102205 14133010432 55848 33554432000 4194304 4196468 140737201924880 140313400879504 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3596] ppid=3586 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3596/stat : 3596 (java) S 3586 3586 14626 0 -1 1077944384 36 0 0 0 1 1 0 0 20 0 28 0 4102205 14133010432 55848 33554432000 4194304 4196468 140737201924880 140313399826960 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3597] ppid=3586 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3597/stat : 3597 (java) S 3586 3586 14626 0 -1 1077944384 51 0 0 0 2 1 0 0 20 0 28 0 4102205 14133010432 55848 33554432000 4194304 4196468 140737201924880 140313398774416 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3598] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3598/stat : 3598 (java) S 3586 3586 14626 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 28 0 4102207 14133010432 55848 33554432000 4194304 4196468 140737201924880 140313269656048 140313807362690 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3599] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3599/stat : 3599 (java) S 3586 3586 14626 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4102208 14133010432 55848 33554432000 4194304 4196468 140737201924880 140313268602272 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3600] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3600/stat : 3600 (java) S 3586 3586 14626 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4102208 14133010432 55848 33554432000 4194304 4196468 140737201924880 140313267549680 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3601] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3601/stat : 3601 (java) S 3586 3586 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4102212 14133010432 55848 33554432000 4194304 4196468 140737201924880 140313266498256 140313807370139 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3602] ppid=3586 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3602/stat : 3602 (java) R 3586 3586 14626 0 -1 4202560 2558 0 0 0 72 0 0 0 20 0 28 0 4102212 14133010432 55848 33554432000 4194304 4196468 140737201924880 140313265444848 140313793368385 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3603] ppid=3586 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3603/stat : 3603 (java) R 3586 3586 14626 0 -1 1077944384 3037 0 0 0 82 0 0 0 20 0 28 0 4102212 14133010432 55848 33554432000 4194304 4196468 140737201924880 140313264392304 140313807362690 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3604] ppid=3586 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3604/stat : 3604 (java) S 3586 3586 14626 0 -1 1077944384 3250 0 0 0 83 0 0 0 20 0 28 0 4102212 14133010432 55848 33554432000 4194304 4196468 140737201924880 140313263339760 140313807362690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3605] ppid=3586 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3605/stat : 3605 (java) S 3586 3586 14626 0 -1 1077944384 3006 0 0 0 58 1 0 0 20 0 28 0 4102213 14133010432 55848 33554432000 4194304 4196468 140737201924880 140313262287216 140313807362690 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3606] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3606/stat : 3606 (java) S 3586 3586 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4102213 14133010432 55848 33554432000 4194304 4196468 140737201924880 140313261234912 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3607] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3607/stat : 3607 (java) S 3586 3586 14626 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4102213 14133010432 55848 33554432000 4194304 4196468 140737201924880 140313260182448 140313807362690 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 13811280
[startup+3.10076 s]
/proc/loadavg: 15.48 15.01 14.86 13/302 3623
/proc/meminfo: memFree=29647284/32770624 swapFree=5972/257248
[pid=3586] ppid=3583 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3586/stat : 3586 (xcsp3-exec) S 3583 3586 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4102203 9740288 346 33554432000 4194304 5098028 140720316659280 140720316657384 140580450255484 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7786496 140720316662926 140720316663136 140720316663136 140720316665835 0
/proc/3586/statm: 2378 346 289 221 0 87 0
[pid=3587] ppid=3586 vsize=13801768 CPUtime=16.24 cores=0,2,4,6,8,10,12,14
/proc/3587/stat : 3587 (java) S 3586 3586 14626 0 -1 1077944320 27873 0 0 0 1567 57 0 0 20 0 28 0 4102204 14133010432 77822 33554432000 4194304 4196468 140737201924880 140737201907424 140313807351543 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
/proc/3587/statm: 3450442 77822 3276 1 0 3437675 0
[pid=3587/tid=3588] ppid=3586 vsize=13801768 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3588/stat : 3588 (java) S 3586 3586 14626 0 -1 1077944384 8506 0 0 0 123 5 0 0 20 0 28 0 4102204 14133010432 77822 33554432000 4194304 4196468 140737201924880 140313811592320 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3590] ppid=3586 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3590/stat : 3590 (java) S 3586 3586 14626 0 -1 1077944384 76 0 0 0 4 4 0 0 20 0 28 0 4102205 14133010432 77822 33554432000 4194304 4196468 140737201924880 140313406143248 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3591] ppid=3586 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3591/stat : 3591 (java) S 3586 3586 14626 0 -1 1077944384 78 0 0 0 5 5 0 0 20 0 28 0 4102205 14133010432 77822 33554432000 4194304 4196468 140737201924880 140313405090704 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3592] ppid=3586 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3592/stat : 3592 (java) S 3586 3586 14626 0 -1 1077944384 139 0 0 0 4 5 0 0 20 0 28 0 4102205 14133010432 77822 33554432000 4194304 4196468 140737201924880 140313404038160 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3593] ppid=3586 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3593/stat : 3593 (java) S 3586 3586 14626 0 -1 1077944384 65 0 0 0 6 6 0 0 20 0 28 0 4102205 14133010432 77822 33554432000 4194304 4196468 140737201924880 140313402985616 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3594] ppid=3586 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3594/stat : 3594 (java) S 3586 3586 14626 0 -1 1077944384 48 0 0 0 4 5 0 0 20 0 28 0 4102205 14133010432 77822 33554432000 4194304 4196468 140737201924880 140313401932048 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3595] ppid=3586 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3595/stat : 3595 (java) S 3586 3586 14626 0 -1 1077944384 63 0 0 0 5 6 0 0 20 0 28 0 4102205 14133010432 77822 33554432000 4194304 4196468 140737201924880 140313400879504 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3596] ppid=3586 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3596/stat : 3596 (java) S 3586 3586 14626 0 -1 1077944384 85 0 0 0 6 5 0 0 20 0 28 0 4102205 14133010432 77822 33554432000 4194304 4196468 140737201924880 140313399826960 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3597] ppid=3586 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3597/stat : 3597 (java) S 3586 3586 14626 0 -1 1077944384 84 0 0 0 5 5 0 0 20 0 28 0 4102205 14133010432 77822 33554432000 4194304 4196468 140737201924880 140313398774416 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3598] ppid=3586 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3598/stat : 3598 (java) S 3586 3586 14626 0 -1 1077944384 157 0 0 0 0 1 0 0 20 0 28 0 4102207 14133010432 77822 33554432000 4194304 4196468 140737201924880 140313269656048 140313807362690 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3599] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3599/stat : 3599 (java) S 3586 3586 14626 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4102208 14133010432 77822 33554432000 4194304 4196468 140737201924880 140313268602336 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3600] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3600/stat : 3600 (java) S 3586 3586 14626 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4102208 14133010432 77822 33554432000 4194304 4196468 140737201924880 140313267549680 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3601] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3601/stat : 3601 (java) S 3586 3586 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4102212 14133010432 77822 33554432000 4194304 4196468 140737201924880 140313266498256 140313807370139 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3602] ppid=3586 vsize=13801768 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3602/stat : 3602 (java) R 3586 3586 14626 0 -1 4202560 4227 0 0 0 167 1 0 0 20 0 28 0 4102212 14133010432 77822 33554432000 4194304 4196468 140737201924880 140313265431392 140313785201728 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3603] ppid=3586 vsize=13801768 CPUtime=1.98 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3603/stat : 3603 (java) R 3586 3586 14626 0 -1 4202560 4755 0 0 0 198 0 0 0 20 0 28 0 4102212 14133010432 77822 33554432000 4194304 4196468 140737201924880 140313264378400 140313791742880 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3604] ppid=3586 vsize=13801768 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3604/stat : 3604 (java) R 3586 3586 14626 0 -1 4202560 4116 0 0 0 183 1 0 0 20 0 28 0 4102212 14133010432 77822 33554432000 4194304 4196468 140737201924880 140313263326304 140313788874030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3605] ppid=3586 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3605/stat : 3605 (java) S 3586 3586 14626 0 -1 1077944384 3265 0 0 0 77 1 0 0 20 0 28 0 4102213 14133010432 77822 33554432000 4194304 4196468 140737201924880 140313262287216 140313807362690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3606] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3606/stat : 3606 (java) S 3586 3586 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4102213 14133010432 77822 33554432000 4194304 4196468 140737201924880 140313261234912 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3607] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3607/stat : 3607 (java) S 3586 3586 14626 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4102213 14133010432 77822 33554432000 4194304 4196468 140737201924880 140313260182448 140313807362690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
Current children cumulated CPU time (s) 16.24
Current children cumulated vsize (KiB) 13811280
[startup+6.30119 s]
/proc/loadavg: 15.48 15.01 14.86 3/302 3647
/proc/meminfo: memFree=29610416/32770624 swapFree=5972/257252
[pid=3586] ppid=3583 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3586/stat : 3586 (xcsp3-exec) S 3583 3586 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4102203 9740288 346 33554432000 4194304 5098028 140720316659280 140720316657384 140580450255484 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7786496 140720316662926 140720316663136 140720316663136 140720316665835 0
/proc/3586/statm: 2378 346 289 221 0 87 0
[pid=3587] ppid=3586 vsize=13801768 CPUtime=24.62 cores=0,2,4,6,8,10,12,14
/proc/3587/stat : 3587 (java) S 3586 3586 14626 0 -1 1077944320 33932 0 0 0 2403 59 0 0 20 0 28 0 4102204 14133010432 92313 33554432000 4194304 4196468 140737201924880 140737201907424 140313807351543 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
/proc/3587/statm: 3450442 92313 3277 1 0 3437675 0
[pid=3587/tid=3588] ppid=3586 vsize=13801768 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3588/stat : 3588 (java) S 3586 3586 14626 0 -1 1077944384 8572 0 0 0 123 5 0 0 20 0 28 0 4102204 14133010432 92313 33554432000 4194304 4196468 140737201924880 140313811592320 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3590] ppid=3586 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3590/stat : 3590 (java) S 3586 3586 14626 0 -1 1077944384 76 0 0 0 4 4 0 0 20 0 28 0 4102205 14133010432 92313 33554432000 4194304 4196468 140737201924880 140313406143248 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3591] ppid=3586 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3591/stat : 3591 (java) S 3586 3586 14626 0 -1 1077944384 78 0 0 0 5 5 0 0 20 0 28 0 4102205 14133010432 92313 33554432000 4194304 4196468 140737201924880 140313405090704 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3592] ppid=3586 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3592/stat : 3592 (java) S 3586 3586 14626 0 -1 1077944384 139 0 0 0 4 5 0 0 20 0 28 0 4102205 14133010432 92313 33554432000 4194304 4196468 140737201924880 140313404038160 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3593] ppid=3586 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3593/stat : 3593 (java) S 3586 3586 14626 0 -1 1077944384 65 0 0 0 6 6 0 0 20 0 28 0 4102205 14133010432 92313 33554432000 4194304 4196468 140737201924880 140313402985616 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3594] ppid=3586 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3594/stat : 3594 (java) S 3586 3586 14626 0 -1 1077944384 48 0 0 0 4 5 0 0 20 0 28 0 4102205 14133010432 92313 33554432000 4194304 4196468 140737201924880 140313401932048 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3595] ppid=3586 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3595/stat : 3595 (java) S 3586 3586 14626 0 -1 1077944384 63 0 0 0 5 6 0 0 20 0 28 0 4102205 14133010432 92313 33554432000 4194304 4196468 140737201924880 140313400879504 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3596] ppid=3586 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3596/stat : 3596 (java) S 3586 3586 14626 0 -1 1077944384 85 0 0 0 6 5 0 0 20 0 28 0 4102205 14133010432 92313 33554432000 4194304 4196468 140737201924880 140313399826960 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3597] ppid=3586 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3597/stat : 3597 (java) S 3586 3586 14626 0 -1 1077944384 84 0 0 0 5 5 0 0 20 0 28 0 4102205 14133010432 92313 33554432000 4194304 4196468 140737201924880 140313398774416 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3598] ppid=3586 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3598/stat : 3598 (java) S 3586 3586 14626 0 -1 1077944384 179 0 0 0 0 1 0 0 20 0 28 0 4102207 14133010432 92313 33554432000 4194304 4196468 140737201924880 140313269656048 140313807362690 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3599] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3599/stat : 3599 (java) S 3586 3586 14626 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4102208 14133010432 92313 33554432000 4194304 4196468 140737201924880 140313268602336 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3600] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3600/stat : 3600 (java) S 3586 3586 14626 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4102208 14133010432 92313 33554432000 4194304 4196468 140737201924880 140313267549680 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3601] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3601/stat : 3601 (java) S 3586 3586 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4102212 14133010432 92313 33554432000 4194304 4196468 140737201924880 140313266498256 140313807370139 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
################
# More data... #
################
/proc/3587/task/3591/stat : 3591 (java) S 3586 3586 14626 0 -1 1077944384 1533 0 0 0 12 8 0 0 20 0 28 0 4102205 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313405090704 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3592] ppid=3586 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3592/stat : 3592 (java) S 3586 3586 14626 0 -1 1077944384 302 0 0 0 10 9 0 0 20 0 28 0 4102205 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313404038160 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3593] ppid=3586 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3593/stat : 3593 (java) S 3586 3586 14626 0 -1 1077944384 380 0 0 0 12 10 0 0 20 0 28 0 4102205 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313402985616 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3594] ppid=3586 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3594/stat : 3594 (java) S 3586 3586 14626 0 -1 1077944384 131 0 0 0 10 10 0 0 20 0 28 0 4102205 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313401932048 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3595] ppid=3586 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3595/stat : 3595 (java) S 3586 3586 14626 0 -1 1077944384 197 0 0 0 11 10 0 0 20 0 28 0 4102205 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313400879504 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3596] ppid=3586 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3596/stat : 3596 (java) S 3586 3586 14626 0 -1 1077944384 461 0 0 0 11 9 0 0 20 0 28 0 4102205 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313399826960 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3597] ppid=3586 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3597/stat : 3597 (java) S 3586 3586 14626 0 -1 1077944384 359 0 0 0 11 10 0 0 20 0 28 0 4102205 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313398774416 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3598] ppid=3586 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3598/stat : 3598 (java) S 3586 3586 14626 0 -1 1077944384 2134 0 0 0 3 4 0 0 20 0 28 0 4102207 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313269656048 140313807362690 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3599] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3599/stat : 3599 (java) S 3586 3586 14626 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4102208 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313268602336 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3600] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3600/stat : 3600 (java) S 3586 3586 14626 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4102208 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313267549680 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3601] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3601/stat : 3601 (java) S 3586 3586 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4102212 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313266498256 140313807370139 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3602] ppid=3586 vsize=13801768 CPUtime=3.6 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3602/stat : 3602 (java) S 3586 3586 14626 0 -1 1077944384 16532 0 0 0 357 3 0 0 20 0 28 0 4102212 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313265444848 140313807362690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3603] ppid=3586 vsize=13801768 CPUtime=3.72 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3603/stat : 3603 (java) S 3586 3586 14626 0 -1 1077944384 19523 0 0 0 370 2 0 0 20 0 28 0 4102212 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313264392304 140313807362690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3604] ppid=3586 vsize=13801768 CPUtime=3.67 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3604/stat : 3604 (java) S 3586 3586 14626 0 -1 1077944384 16937 0 0 0 364 3 0 0 20 0 28 0 4102212 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313263339760 140313807362690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3605] ppid=3586 vsize=13801768 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3605/stat : 3605 (java) S 3586 3586 14626 0 -1 1077944384 11543 0 0 0 105 2 0 0 20 0 28 0 4102213 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313262287216 140313807362690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3606] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3606/stat : 3606 (java) S 3586 3586 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4102213 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313261234912 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3607] ppid=3586 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3607/stat : 3607 (java) S 3586 3586 14626 0 -1 1077944384 1190 0 0 0 2 2 0 0 20 0 28 0 4102213 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313260182448 140313807362690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3720] ppid=3586 vsize=13801768 CPUtime=40.99 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3720/stat : 3720 (java) R 3586 3586 14626 0 -1 4202560 1245 0 0 0 4099 0 0 0 20 0 28 0 4106374 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313252166952 140313453586170 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3721] ppid=3586 vsize=13801768 CPUtime=40.1 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3721/stat : 3721 (java) R 3586 3586 14626 0 -1 4202560 439 0 0 0 4009 1 0 0 20 0 28 0 4106374 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313247957288 140313451882737 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3722] ppid=3586 vsize=13801768 CPUtime=40.97 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3722/stat : 3722 (java) R 3586 3586 14626 0 -1 4202560 920 0 0 0 4097 0 0 0 20 0 28 0 4106374 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313245851048 140313451106440 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3723] ppid=3586 vsize=13801768 CPUtime=40.66 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3723/stat : 3723 (java) R 3586 3586 14626 0 -1 4202560 833 0 0 0 4065 1 0 0 20 0 28 0 4106374 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313244798704 140313451235245 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3724] ppid=3586 vsize=13801768 CPUtime=40.9 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3724/stat : 3724 (java) R 3586 3586 14626 0 -1 4202560 555 0 0 0 4090 0 0 0 20 0 28 0 4106374 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313251114664 140313453586271 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3725] ppid=3586 vsize=13801768 CPUtime=40.95 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3725/stat : 3725 (java) R 3586 3586 14626 0 -1 4202560 458 0 0 0 4095 0 0 0 20 0 28 0 4106374 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313246906728 140313451106583 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3726] ppid=3586 vsize=13801768 CPUtime=40.95 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3726/stat : 3726 (java) R 3586 3586 14626 0 -1 4202560 1043 0 0 0 4094 1 0 0 20 0 28 0 4106374 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313250062248 140313451884328 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3727] ppid=3586 vsize=13801768 CPUtime=40.88 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3727/stat : 3727 (java) R 3586 3586 14626 0 -1 4202560 509 0 0 0 4088 0 0 0 20 0 28 0 4106374 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313249009528 140313451285644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
Current children cumulated CPU time (s) 598.16
Current children cumulated vsize (KiB) 13811280
[startup+83.0015 s]
/proc/loadavg: 14.62 14.71 14.76 17/302 3736
/proc/meminfo: memFree=27681316/32770624 swapFree=5972/257344
[pid=3586] ppid=3583 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3586/stat : 3586 (xcsp3-exec) S 3583 3586 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4102203 9740288 346 33554432000 4194304 5098028 140720316659280 140720316657384 140580450255484 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7786496 140720316662926 140720316663136 140720316663136 140720316665835 0
/proc/3586/statm: 2378 346 289 221 0 87 0
[pid=3587] ppid=3586 vsize=13801768 CPUtime=599.75 cores=0,2,4,6,8,10,12,14
/proc/3587/stat : 3587 (java) S 3586 3586 14626 0 -1 1077944320 102561 0 0 0 59857 118 0 0 20 0 28 0 4102204 14133010432 189508 33554432000 4194304 4196468 140737201924880 140737201907424 140313807351543 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
/proc/3587/statm: 3450442 189508 3289 1 0 3437675 0
[pid=3587/tid=3588] ppid=3586 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3588/stat : 3588 (java) S 3586 3586 14626 0 -1 1077944384 9706 0 0 0 124 5 0 0 20 0 28 0 4102204 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313811592320 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3590] ppid=3586 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3590/stat : 3590 (java) S 3586 3586 14626 0 -1 1077944384 475 0 0 0 11 7 0 0 20 0 28 0 4102205 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313406143248 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3591] ppid=3586 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3591/stat : 3591 (java) S 3586 3586 14626 0 -1 1077944384 1533 0 0 0 12 8 0 0 20 0 28 0 4102205 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313405090704 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3592] ppid=3586 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3592/stat : 3592 (java) S 3586 3586 14626 0 -1 1077944384 302 0 0 0 10 9 0 0 20 0 28 0 4102205 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313404038160 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3593] ppid=3586 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3593/stat : 3593 (java) S 3586 3586 14626 0 -1 1077944384 380 0 0 0 12 10 0 0 20 0 28 0 4102205 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313402985616 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3594] ppid=3586 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3594/stat : 3594 (java) S 3586 3586 14626 0 -1 1077944384 131 0 0 0 10 10 0 0 20 0 28 0 4102205 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313401932048 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3595] ppid=3586 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3595/stat : 3595 (java) S 3586 3586 14626 0 -1 1077944384 197 0 0 0 11 10 0 0 20 0 28 0 4102205 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313400879504 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3596] ppid=3586 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3596/stat : 3596 (java) S 3586 3586 14626 0 -1 1077944384 461 0 0 0 11 9 0 0 20 0 28 0 4102205 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313399826960 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3597] ppid=3586 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3597/stat : 3597 (java) S 3586 3586 14626 0 -1 1077944384 359 0 0 0 11 10 0 0 20 0 28 0 4102205 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313398774416 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3598] ppid=3586 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3598/stat : 3598 (java) S 3586 3586 14626 0 -1 1077944384 2134 0 0 0 3 4 0 0 20 0 28 0 4102207 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313269656048 140313807362690 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3599] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3599/stat : 3599 (java) S 3586 3586 14626 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4102208 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313268602336 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3600] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3600/stat : 3600 (java) S 3586 3586 14626 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4102208 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313267549680 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3601] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3601/stat : 3601 (java) S 3586 3586 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4102212 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313266498256 140313807370139 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3602] ppid=3586 vsize=13801768 CPUtime=3.6 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3602/stat : 3602 (java) S 3586 3586 14626 0 -1 1077944384 16532 0 0 0 357 3 0 0 20 0 28 0 4102212 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313265444848 140313807362690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3603] ppid=3586 vsize=13801768 CPUtime=3.72 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3603/stat : 3603 (java) S 3586 3586 14626 0 -1 1077944384 19523 0 0 0 370 2 0 0 20 0 28 0 4102212 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313264392304 140313807362690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3604] ppid=3586 vsize=13801768 CPUtime=3.67 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3604/stat : 3604 (java) S 3586 3586 14626 0 -1 1077944384 16937 0 0 0 364 3 0 0 20 0 28 0 4102212 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313263339760 140313807362690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3605] ppid=3586 vsize=13801768 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3605/stat : 3605 (java) S 3586 3586 14626 0 -1 1077944384 11543 0 0 0 105 2 0 0 20 0 28 0 4102213 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313262287216 140313807362690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3606] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3606/stat : 3606 (java) S 3586 3586 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4102213 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313261234912 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3607] ppid=3586 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3607/stat : 3607 (java) S 3586 3586 14626 0 -1 1077944384 1190 0 0 0 2 2 0 0 20 0 28 0 4102213 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313260182448 140313807362690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3720] ppid=3586 vsize=13801768 CPUtime=41.18 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3720/stat : 3720 (java) R 3586 3586 14626 0 -1 4202560 1245 0 0 0 4118 0 0 0 20 0 28 0 4106374 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313252166952 140313451285604 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3721] ppid=3586 vsize=13801768 CPUtime=40.3 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3721/stat : 3721 (java) R 3586 3586 14626 0 -1 4202560 439 0 0 0 4029 1 0 0 20 0 28 0 4106374 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313247957288 140313451883940 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3722] ppid=3586 vsize=13801768 CPUtime=41.17 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3722/stat : 3722 (java) R 3586 3586 14626 0 -1 4202560 920 0 0 0 4117 0 0 0 20 0 28 0 4106374 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313245851048 140313451235465 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3723] ppid=3586 vsize=13801768 CPUtime=40.86 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3723/stat : 3723 (java) R 3586 3586 14626 0 -1 4202560 833 0 0 0 4085 1 0 0 20 0 28 0 4106374 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313244798704 140313451199293 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3724] ppid=3586 vsize=13801768 CPUtime=41.1 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3724/stat : 3724 (java) R 3586 3586 14626 0 -1 4202560 555 0 0 0 4110 0 0 0 20 0 28 0 4106374 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313251114664 140313451106537 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3725] ppid=3586 vsize=13801768 CPUtime=41.15 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3725/stat : 3725 (java) R 3586 3586 14626 0 -1 4202560 464 0 0 0 4115 0 0 0 20 0 28 0 4106374 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313246906728 140313451107627 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3726] ppid=3586 vsize=13801768 CPUtime=41.15 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3726/stat : 3726 (java) R 3586 3586 14626 0 -1 4202560 1043 0 0 0 4114 1 0 0 20 0 28 0 4106374 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313250062248 140313451883127 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3727] ppid=3586 vsize=13801768 CPUtime=41.08 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3727/stat : 3727 (java) R 3586 3586 14626 0 -1 4202560 509 0 0 0 4108 0 0 0 20 0 28 0 4106374 14133010432 189508 33554432000 4194304 4196468 140737201924880 140313249009528 140313453586271 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
Current children cumulated CPU time (s) 599.75
Current children cumulated vsize (KiB) 13811280
[startup+83.1016 s]
/proc/loadavg: 14.62 14.71 14.76 17/302 3736
/proc/meminfo: memFree=27681316/32770624 swapFree=5972/257344
[pid=3586] ppid=3583 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3586/stat : 3586 (xcsp3-exec) S 3583 3586 14626 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4102203 9740288 346 33554432000 4194304 5098028 140720316659280 140720316657384 140580450255484 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7786496 140720316662926 140720316663136 140720316663136 140720316665835 0
/proc/3586/statm: 2378 346 289 221 0 87 0
[pid=3587] ppid=3586 vsize=13801768 CPUtime=600.4 cores=0,2,4,6,8,10,12,14
/proc/3587/stat : 3587 (java) S 3586 3586 14626 0 -1 1077944320 102753 0 0 0 59922 118 0 0 20 0 26 0 4102204 14133010432 189440 33554432000 4194304 4196468 140737201924880 140737201907424 140313807351543 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
/proc/3587/statm: 3450442 189440 3289 1 0 3437675 0
[pid=3587/tid=3588] ppid=3586 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3588/stat : 3588 (java) S 3586 3586 14626 0 -1 1077944384 9771 0 0 0 124 5 0 0 20 0 24 0 4102204 14133010432 189440 33554432000 4194304 4196468 140737201924880 140313811592016 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3590] ppid=3586 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3590/stat : 3590 (java) S 3586 3586 14626 0 -1 1077944384 475 0 0 0 11 7 0 0 20 0 24 0 4102205 14133010432 189440 33554432000 4194304 4196468 140737201924880 140313406143248 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3591] ppid=3586 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3591/stat : 3591 (java) S 3586 3586 14626 0 -1 1077944384 1533 0 0 0 12 8 0 0 20 0 24 0 4102205 14133010432 189406 33554432000 4194304 4196468 140737201924880 140313405090704 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3592] ppid=3586 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3592/stat : 3592 (java) S 3586 3586 14626 0 -1 1077944384 302 0 0 0 10 9 0 0 20 0 20 0 4102205 14133010432 189372 33554432000 4194304 4196468 140737201924880 140313404038160 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3593] ppid=3586 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3593/stat : 3593 (java) S 3586 3586 14626 0 -1 1077944384 380 0 0 0 12 10 0 0 20 0 20 0 4102205 14133010432 189372 33554432000 4194304 4196468 140737201924880 140313402985616 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3594] ppid=3586 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3594/stat : 3594 (java) S 3586 3586 14626 0 -1 1077944384 131 0 0 0 10 10 0 0 20 0 20 0 4102205 14133010432 189372 33554432000 4194304 4196468 140737201924880 140313401932048 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3595] ppid=3586 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3595/stat : 3595 (java) S 3586 3586 14626 0 -1 1077944384 197 0 0 0 11 10 0 0 20 0 20 0 4102205 14133010432 189372 33554432000 4194304 4196468 140737201924880 140313400879504 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3596] ppid=3586 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3596/stat : 3596 (java) S 3586 3586 14626 0 -1 1077944384 461 0 0 0 11 9 0 0 20 0 20 0 4102205 14133010432 189372 33554432000 4194304 4196468 140737201924880 140313399826960 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3597] ppid=3586 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3597/stat : 3597 (java) S 3586 3586 14626 0 -1 1077944384 359 0 0 0 11 10 0 0 20 0 20 0 4102205 14133010432 189372 33554432000 4194304 4196468 140737201924880 140313398774416 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3598] ppid=3586 vsize=13801768 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3598/stat : 3598 (java) S 3586 3586 14626 0 -1 1077944384 2137 0 0 0 3 4 0 0 20 0 20 0 4102207 14133010432 189372 33554432000 4194304 4196468 140737201924880 140313269656048 140313807362690 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3599] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3599/stat : 3599 (java) S 3586 3586 14626 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 4102208 14133010432 189372 33554432000 4194304 4196468 140737201924880 140313268602336 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3600] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3600/stat : 3600 (java) S 3586 3586 14626 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 4102208 14133010432 189372 33554432000 4194304 4196468 140737201924880 140313267549680 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3601] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3601/stat : 3601 (java) S 3586 3586 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4102212 14133010432 189372 33554432000 4194304 4196468 140737201924880 140313266498256 140313807370139 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3602] ppid=3586 vsize=13801768 CPUtime=3.6 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3602/stat : 3602 (java) S 3586 3586 14626 0 -1 1077944384 16532 0 0 0 357 3 0 0 20 0 20 0 4102212 14133010432 189372 33554432000 4194304 4196468 140737201924880 140313265444848 140313807362690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3603] ppid=3586 vsize=13801768 CPUtime=3.72 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3603/stat : 3603 (java) S 3586 3586 14626 0 -1 1077944384 19523 0 0 0 370 2 0 0 20 0 20 0 4102212 14133010432 189372 33554432000 4194304 4196468 140737201924880 140313264392304 140313807362690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3604] ppid=3586 vsize=13801768 CPUtime=3.67 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3604/stat : 3604 (java) S 3586 3586 14626 0 -1 1077944384 16937 0 0 0 364 3 0 0 20 0 20 0 4102212 14133010432 189372 33554432000 4194304 4196468 140737201924880 140313263339760 140313807362690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3605] ppid=3586 vsize=13801768 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3605/stat : 3605 (java) R 3586 3586 14626 0 -1 4202560 11545 0 0 0 105 2 0 0 20 0 20 0 4102213 14133010432 189372 33554432000 4194304 4196468 140737201924880 140313262287216 140313793034947 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3606] ppid=3586 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3606/stat : 3606 (java) S 3586 3586 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4102213 14133010432 189372 33554432000 4194304 4196468 140737201924880 140313261234912 140313807361749 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
[pid=3587/tid=3607] ppid=3586 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/3587/task/3607/stat : 3607 (java) S 3586 3586 14626 0 -1 1077944384 1190 0 0 0 2 2 0 0 20 0 20 0 4102213 14133010432 189372 33554432000 4194304 4196468 140737201924880 140313260182448 140313807362690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16670720 140737201927356 140737201927532 140737201927532 140737201930191 0
Current children cumulated CPU time (s) 600.4
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 83.112
CPU time (s): 600.424
CPU user time (s): 599.222
CPU system time (s): 1.20216
CPU usage (%): 722.427
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 599.222
system time used= 1.20216
maximum resident set size= 758032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103849
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= 9085
involuntary context switches= 43677
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.952375 second user time and 1.1956 second system time
The end