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-4245892-1500686693/watcher-4245892-1500686693 -o /tmp/evaluation-result-4245892-1500686693/solver-4245892-1500686693 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15436 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 818093127 HOME/instance-4245892-1500686693.xml
pid=3694
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: 10.91 14.37 14.66 13/272 3697
/proc/meminfo: memFree=27686284/32770624 swapFree=5804/253972
[pid=3697] ppid=3694 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3697/stat : 3697 (xcsp3-exec) S 3694 3697 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3935570 9740288 346 33554432000 4194304 5098028 140721470528800 140721470526904 140015511294588 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 38981632 140721470534799 140721470535008 140721470535008 140721470537707 0
/proc/3697/statm: 2378 346 289 221 0 87 0
[startup+0.100128 s]
/proc/loadavg: 10.91 14.37 14.66 13/272 3697
/proc/meminfo: memFree=27686284/32770624 swapFree=5804/253972
[pid=3697] ppid=3694 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3697/stat : 3697 (xcsp3-exec) S 3694 3697 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3935570 9740288 346 33554432000 4194304 5098028 140721470528800 140721470526904 140015511294588 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 38981632 140721470534799 140721470535008 140721470535008 140721470537707 0
/proc/3697/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200306 s]
/proc/loadavg: 10.91 14.37 14.66 13/272 3697
/proc/meminfo: memFree=27686284/32770624 swapFree=5804/253972
[pid=3697] ppid=3694 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3697/stat : 3697 (xcsp3-exec) S 3694 3697 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3935570 9740288 346 33554432000 4194304 5098028 140721470528800 140721470526904 140015511294588 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 38981632 140721470534799 140721470535008 140721470535008 140721470537707 0
/proc/3697/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300219 s]
/proc/loadavg: 10.91 14.37 14.66 13/272 3697
/proc/meminfo: memFree=27686284/32770624 swapFree=5804/253972
[pid=3697] ppid=3694 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3697/stat : 3697 (xcsp3-exec) S 3694 3697 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3935570 9740288 346 33554432000 4194304 5098028 140721470528800 140721470526904 140015511294588 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 38981632 140721470534799 140721470535008 140721470535008 140721470537707 0
/proc/3697/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700193 s]
/proc/loadavg: 10.91 14.37 14.66 13/272 3697
/proc/meminfo: memFree=27686284/32770624 swapFree=5804/253972
[pid=3697] ppid=3694 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3697/stat : 3697 (xcsp3-exec) S 3694 3697 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3935570 9740288 346 33554432000 4194304 5098028 140721470528800 140721470526904 140015511294588 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 38981632 140721470534799 140721470535008 140721470535008 140721470537707 0
/proc/3697/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50114 s]
/proc/loadavg: 10.91 14.37 14.66 15/293 3734
/proc/meminfo: memFree=27493772/32770624 swapFree=5804/253988
[pid=3697] ppid=3694 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3697/stat : 3697 (xcsp3-exec) S 3694 3697 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3935570 9740288 346 33554432000 4194304 5098028 140721470528800 140721470526904 140015511294588 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 38981632 140721470534799 140721470535008 140721470535008 140721470537707 0
/proc/3697/statm: 2378 346 289 221 0 87 0
[pid=3698] ppid=3697 vsize=13269256 CPUtime=5.66 cores=1,3,5,7,9,11,13,15
/proc/3698/stat : 3698 (java) S 3697 3697 14782 0 -1 1077944320 23873 0 0 0 541 25 0 0 20 0 20 0 3935570 13587718144 61309 33554432000 4194304 4196468 140720881837856 140720881820400 139960928182007 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
/proc/3698/statm: 3317314 61309 3246 1 0 3304547 0
[pid=3698/tid=3699] ppid=3697 vsize=13269256 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3699/stat : 3699 (java) R 3697 3697 14782 0 -1 4202560 6843 0 0 0 137 4 0 0 20 0 20 0 3935571 13587718144 61309 33554432000 4194304 4196468 140720881837856 139960932413104 139960928203933 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3701] ppid=3697 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3701/stat : 3701 (java) S 3697 3697 14782 0 -1 1077944384 96 0 0 0 3 2 0 0 20 0 20 0 3935572 13587718144 61309 33554432000 4194304 4196468 140720881837856 139960846662544 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3702] ppid=3697 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3702/stat : 3702 (java) S 3697 3697 14782 0 -1 1077944384 234 0 0 0 3 2 0 0 20 0 20 0 3935572 13587718144 61309 33554432000 4194304 4196468 140720881837856 139960845609744 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3703] ppid=3697 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3703/stat : 3703 (java) S 3697 3697 14782 0 -1 1077944384 23 0 0 0 1 2 0 0 20 0 20 0 3935572 13587718144 61309 33554432000 4194304 4196468 140720881837856 139960844557456 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3704] ppid=3697 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3704/stat : 3704 (java) S 3697 3697 14782 0 -1 1077944384 73 0 0 0 2 2 0 0 20 0 20 0 3935572 13587718144 61309 33554432000 4194304 4196468 140720881837856 139960843504656 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3705] ppid=3697 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3705/stat : 3705 (java) S 3697 3697 14782 0 -1 1077944384 42 0 0 0 2 1 0 0 20 0 20 0 3935572 13587718144 61309 33554432000 4194304 4196468 140720881837856 139960842451344 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3706] ppid=3697 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3706/stat : 3706 (java) S 3697 3697 14782 0 -1 1077944384 385 0 0 0 2 2 0 0 20 0 20 0 3935572 13587718144 61309 33554432000 4194304 4196468 140720881837856 139960841398544 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3707] ppid=3697 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3707/stat : 3707 (java) S 3697 3697 14782 0 -1 1077944384 111 0 0 0 3 2 0 0 20 0 20 0 3935572 13587718144 61309 33554432000 4194304 4196468 140720881837856 139960840346256 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3708] ppid=3697 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3708/stat : 3708 (java) S 3697 3697 14782 0 -1 1077944384 65 0 0 0 3 2 0 0 20 0 20 0 3935572 13587718144 61309 33554432000 4194304 4196468 140720881837856 139960839293456 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3709] ppid=3697 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3709/stat : 3709 (java) S 3697 3697 14782 0 -1 1077944384 267 0 0 0 0 0 0 0 20 0 20 0 3935574 13587718144 61309 33554432000 4194304 4196468 140720881837856 139960390363760 139960928193154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3710] ppid=3697 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3710/stat : 3710 (java) S 3697 3697 14782 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 3935574 13587718144 61309 33554432000 4194304 4196468 140720881837856 139960389309792 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3711] ppid=3697 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3711/stat : 3711 (java) S 3697 3697 14782 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 3935575 13587718144 61309 33554432000 4194304 4196468 140720881837856 139960388257408 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3712] ppid=3697 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3712/stat : 3712 (java) S 3697 3697 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3935579 13587718144 61309 33554432000 4194304 4196468 140720881837856 139960387205712 139960928200603 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3713] ppid=3697 vsize=13269256 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3713/stat : 3713 (java) R 3697 3697 14782 0 -1 4202560 3800 0 0 0 105 0 0 0 20 0 20 0 3935579 13587718144 61309 33554432000 4194304 4196468 140720881837856 139960386145752 139960908883495 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3714] ppid=3697 vsize=13269256 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3714/stat : 3714 (java) R 3697 3697 14782 0 -1 4202560 3606 0 0 0 107 0 0 0 20 0 20 0 3935579 13587718144 61309 33554432000 4194304 4196468 140720881837856 139960385085136 139960911678616 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3715] ppid=3697 vsize=13269256 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3715/stat : 3715 (java) R 3697 3697 14782 0 -1 4202560 4152 0 0 0 110 0 0 0 20 0 20 0 3935579 13587718144 61309 33554432000 4194304 4196468 140720881837856 139960384039312 139960907428718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3716] ppid=3697 vsize=13269256 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3716/stat : 3716 (java) S 3697 3697 14782 0 -1 1077944384 2834 0 0 0 55 0 0 0 20 0 20 0 3935579 13587718144 61309 33554432000 4194304 4196468 140720881837856 139960382994672 139960928193154 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3717] ppid=3697 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3717/stat : 3717 (java) S 3697 3697 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3935579 13587718144 61309 33554432000 4194304 4196468 140720881837856 139960381942624 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3718] ppid=3697 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3718/stat : 3718 (java) S 3697 3697 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3935579 13587718144 61309 33554432000 4194304 4196468 140720881837856 139960380889904 139960928193154 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 13278768
[startup+3.10115 s]
/proc/loadavg: 10.83 14.30 14.63 18/293 3734
/proc/meminfo: memFree=27214452/32770624 swapFree=5804/253988
[pid=3697] ppid=3694 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3697/stat : 3697 (xcsp3-exec) S 3694 3697 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3935570 9740288 346 33554432000 4194304 5098028 140721470528800 140721470526904 140015511294588 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 38981632 140721470534799 140721470535008 140721470535008 140721470537707 0
/proc/3697/statm: 2378 346 289 221 0 87 0
[pid=3698] ppid=3697 vsize=13801768 CPUtime=12.63 cores=1,3,5,7,9,11,13,15
/proc/3698/stat : 3698 (java) S 3697 3697 14782 0 -1 1077944320 27814 0 0 0 1168 95 0 0 20 0 28 0 3935570 14133010432 149188 33554432000 4194304 4196468 140720881837856 140720881820400 139960928182007 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
/proc/3698/statm: 3450442 149188 3257 1 0 3437675 0
[pid=3698/tid=3699] ppid=3697 vsize=13801768 CPUtime=2.36 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3699/stat : 3699 (java) S 3697 3697 14782 0 -1 1077944384 8072 0 0 0 229 7 0 0 20 0 28 0 3935571 14133010432 149188 33554432000 4194304 4196468 140720881837856 139960932422784 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3701] ppid=3697 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3701/stat : 3701 (java) S 3697 3697 14782 0 -1 1077944384 182 0 0 0 12 10 0 0 20 0 28 0 3935572 14133010432 149188 33554432000 4194304 4196468 140720881837856 139960846662544 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3702] ppid=3697 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3702/stat : 3702 (java) S 3697 3697 14782 0 -1 1077944384 290 0 0 0 11 10 0 0 20 0 28 0 3935572 14133010432 149188 33554432000 4194304 4196468 140720881837856 139960845609744 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3703] ppid=3697 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3703/stat : 3703 (java) S 3697 3697 14782 0 -1 1077944384 103 0 0 0 9 10 0 0 20 0 28 0 3935572 14133010432 149188 33554432000 4194304 4196468 140720881837856 139960844557456 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3704] ppid=3697 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3704/stat : 3704 (java) S 3697 3697 14782 0 -1 1077944384 160 0 0 0 11 10 0 0 20 0 28 0 3935572 14133010432 149188 33554432000 4194304 4196468 140720881837856 139960843504656 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3705] ppid=3697 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3705/stat : 3705 (java) S 3697 3697 14782 0 -1 1077944384 104 0 0 0 11 9 0 0 20 0 28 0 3935572 14133010432 149188 33554432000 4194304 4196468 140720881837856 139960842451344 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3706] ppid=3697 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3706/stat : 3706 (java) S 3697 3697 14782 0 -1 1077944384 448 0 0 0 10 10 0 0 20 0 28 0 3935572 14133010432 149188 33554432000 4194304 4196468 140720881837856 139960841398544 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3707] ppid=3697 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3707/stat : 3707 (java) S 3697 3697 14782 0 -1 1077944384 197 0 0 0 12 10 0 0 20 0 28 0 3935572 14133010432 149188 33554432000 4194304 4196468 140720881837856 139960840346256 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3708] ppid=3697 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3708/stat : 3708 (java) S 3697 3697 14782 0 -1 1077944384 168 0 0 0 12 10 0 0 20 0 28 0 3935572 14133010432 149188 33554432000 4194304 4196468 140720881837856 139960839293456 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3709] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3709/stat : 3709 (java) S 3697 3697 14782 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 28 0 3935574 14133010432 149188 33554432000 4194304 4196468 140720881837856 139960390363760 139960928193154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3710] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3710/stat : 3710 (java) S 3697 3697 14782 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3935574 14133010432 149188 33554432000 4194304 4196468 140720881837856 139960389309792 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3711] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3711/stat : 3711 (java) S 3697 3697 14782 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3935575 14133010432 149188 33554432000 4194304 4196468 140720881837856 139960388257408 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3712] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3712/stat : 3712 (java) S 3697 3697 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3935579 14133010432 149188 33554432000 4194304 4196468 140720881837856 139960387205712 139960928200603 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3713] ppid=3697 vsize=13801768 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3713/stat : 3713 (java) R 3697 3697 14782 0 -1 4202560 4006 0 0 0 172 1 0 0 20 0 28 0 3935579 14133010432 149188 33554432000 4194304 4196468 140720881837856 139960386132536 139960911682491 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3714] ppid=3697 vsize=13801768 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3714/stat : 3714 (java) R 3697 3697 14782 0 -1 4202560 4211 0 0 0 172 0 0 0 20 0 28 0 3935579 14133010432 149188 33554432000 4194304 4196468 140720881837856 139960385091176 139960911566831 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3715] ppid=3697 vsize=13801768 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3715/stat : 3715 (java) R 3697 3697 14782 0 -1 4202560 4345 0 0 0 174 0 0 0 20 0 28 0 3935579 14133010432 149188 33554432000 4194304 4196468 140720881837856 139960384030144 139960907868383 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3716] ppid=3697 vsize=13801768 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3716/stat : 3716 (java) S 3697 3697 14782 0 -1 1077944384 3353 0 0 0 74 1 0 0 20 0 28 0 3935579 14133010432 149188 33554432000 4194304 4196468 140720881837856 139960382994672 139960928193154 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3717] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3717/stat : 3717 (java) S 3697 3697 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3935579 14133010432 149188 33554432000 4194304 4196468 140720881837856 139960381942624 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3718] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3718/stat : 3718 (java) S 3697 3697 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3935579 14133010432 149188 33554432000 4194304 4196468 140720881837856 139960380889904 139960928193154 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 13811280
[startup+6.30156 s]
/proc/loadavg: 10.83 14.30 14.63 17/301 3742
/proc/meminfo: memFree=27051112/32770624 swapFree=5804/254000
[pid=3697] ppid=3694 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3697/stat : 3697 (xcsp3-exec) S 3694 3697 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3935570 9740288 346 33554432000 4194304 5098028 140721470528800 140721470526904 140015511294588 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 38981632 140721470534799 140721470535008 140721470535008 140721470537707 0
/proc/3697/statm: 2378 346 289 221 0 87 0
[pid=3698] ppid=3697 vsize=13801768 CPUtime=38.07 cores=1,3,5,7,9,11,13,15
/proc/3698/stat : 3698 (java) S 3697 3697 14782 0 -1 1077944320 36862 0 0 0 3707 100 0 0 20 0 28 0 3935570 14133010432 164755 33554432000 4194304 4196468 140720881837856 140720881820400 139960928182007 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
/proc/3698/statm: 3450442 164755 3281 1 0 3437675 0
[pid=3698/tid=3699] ppid=3697 vsize=13801768 CPUtime=2.36 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3699/stat : 3699 (java) S 3697 3697 14782 0 -1 1077944384 8072 0 0 0 229 7 0 0 20 0 28 0 3935571 14133010432 164755 33554432000 4194304 4196468 140720881837856 139960932422784 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3701] ppid=3697 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3701/stat : 3701 (java) S 3697 3697 14782 0 -1 1077944384 182 0 0 0 12 10 0 0 20 0 28 0 3935572 14133010432 164755 33554432000 4194304 4196468 140720881837856 139960846662544 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3702] ppid=3697 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3702/stat : 3702 (java) S 3697 3697 14782 0 -1 1077944384 290 0 0 0 11 10 0 0 20 0 28 0 3935572 14133010432 164755 33554432000 4194304 4196468 140720881837856 139960845609744 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3703] ppid=3697 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3703/stat : 3703 (java) S 3697 3697 14782 0 -1 1077944384 103 0 0 0 9 10 0 0 20 0 28 0 3935572 14133010432 164755 33554432000 4194304 4196468 140720881837856 139960844557456 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3704] ppid=3697 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3704/stat : 3704 (java) S 3697 3697 14782 0 -1 1077944384 160 0 0 0 11 10 0 0 20 0 28 0 3935572 14133010432 164755 33554432000 4194304 4196468 140720881837856 139960843504656 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3705] ppid=3697 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3705/stat : 3705 (java) S 3697 3697 14782 0 -1 1077944384 104 0 0 0 11 9 0 0 20 0 28 0 3935572 14133010432 164755 33554432000 4194304 4196468 140720881837856 139960842451344 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3706] ppid=3697 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3706/stat : 3706 (java) S 3697 3697 14782 0 -1 1077944384 448 0 0 0 10 10 0 0 20 0 28 0 3935572 14133010432 164755 33554432000 4194304 4196468 140720881837856 139960841398544 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3707] ppid=3697 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3707/stat : 3707 (java) S 3697 3697 14782 0 -1 1077944384 197 0 0 0 12 10 0 0 20 0 28 0 3935572 14133010432 164755 33554432000 4194304 4196468 140720881837856 139960840346256 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3708] ppid=3697 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3708/stat : 3708 (java) S 3697 3697 14782 0 -1 1077944384 168 0 0 0 12 10 0 0 20 0 28 0 3935572 14133010432 164755 33554432000 4194304 4196468 140720881837856 139960839293456 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3709] ppid=3697 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3709/stat : 3709 (java) S 3697 3697 14782 0 -1 1077944384 566 0 0 0 1 0 0 0 20 0 28 0 3935574 14133010432 164755 33554432000 4194304 4196468 140720881837856 139960390363760 139960928193154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3710] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3710/stat : 3710 (java) S 3697 3697 14782 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3935574 14133010432 164755 33554432000 4194304 4196468 140720881837856 139960389309792 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3711] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3711/stat : 3711 (java) S 3697 3697 14782 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3935575 14133010432 164755 33554432000 4194304 4196468 140720881837856 139960388257408 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3712] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3712/stat : 3712 (java) S 3697 3697 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3935579 14133010432 164755 33554432000 4194304 4196468 140720881837856 139960387205712 139960928200603 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
################
# More data... #
################
/proc/3698/task/3702/stat : 3702 (java) S 3697 3697 14782 0 -1 1077944384 389 0 0 0 18 16 0 0 20 0 28 0 3935572 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960845609744 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3703] ppid=3697 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3703/stat : 3703 (java) S 3697 3697 14782 0 -1 1077944384 383 0 0 0 16 16 0 0 20 0 28 0 3935572 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960844557456 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3704] ppid=3697 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3704/stat : 3704 (java) S 3697 3697 14782 0 -1 1077944384 257 0 0 0 18 16 0 0 20 0 28 0 3935572 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960843504656 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3705] ppid=3697 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3705/stat : 3705 (java) S 3697 3697 14782 0 -1 1077944384 428 0 0 0 18 15 0 0 20 0 28 0 3935572 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960842451344 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3706] ppid=3697 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3706/stat : 3706 (java) S 3697 3697 14782 0 -1 1077944384 646 0 0 0 18 15 0 0 20 0 28 0 3935572 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960841398544 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3707] ppid=3697 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3707/stat : 3707 (java) S 3697 3697 14782 0 -1 1077944384 332 0 0 0 18 16 0 0 20 0 28 0 3935572 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960840346256 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3708] ppid=3697 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3708/stat : 3708 (java) S 3697 3697 14782 0 -1 1077944384 1041 0 0 0 19 16 0 0 20 0 28 0 3935572 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960839293456 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3709] ppid=3697 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3709/stat : 3709 (java) S 3697 3697 14782 0 -1 1077944384 1214 0 0 0 1 1 0 0 20 0 28 0 3935574 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960390363760 139960928193154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3710] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3710/stat : 3710 (java) S 3697 3697 14782 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 3935574 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960389309792 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3711] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3711/stat : 3711 (java) S 3697 3697 14782 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3935575 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960388257408 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3712] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3712/stat : 3712 (java) S 3697 3697 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3935579 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960387205712 139960928200603 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3713] ppid=3697 vsize=13801768 CPUtime=2.46 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3713/stat : 3713 (java) S 3697 3697 14782 0 -1 1077944384 8531 0 0 0 245 1 0 0 20 0 28 0 3935579 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960386152560 139960928193154 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3714] ppid=3697 vsize=13801768 CPUtime=2.73 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3714/stat : 3714 (java) S 3697 3697 14782 0 -1 1077944384 7822 0 0 0 272 1 0 0 20 0 28 0 3935579 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960385099760 139960928193154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3715] ppid=3697 vsize=13801768 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3715/stat : 3715 (java) S 3697 3697 14782 0 -1 1077944384 8706 0 0 0 254 2 0 0 20 0 28 0 3935579 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960384047472 139960928193154 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3716] ppid=3697 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3716/stat : 3716 (java) S 3697 3697 14782 0 -1 1077944384 6555 0 0 0 91 2 0 0 20 0 28 0 3935579 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960382994672 139960928193154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3717] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3717/stat : 3717 (java) S 3697 3697 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3935579 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960381942624 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3718] ppid=3697 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3718/stat : 3718 (java) S 3697 3697 14782 0 -1 1077944384 949 0 0 0 0 1 0 0 20 0 28 0 3935579 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960380889904 139960928193154 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3735] ppid=3697 vsize=13801768 CPUtime=20.8 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3735/stat : 3735 (java) R 3697 3697 14782 0 -1 4202560 363 0 0 0 2080 0 0 0 20 0 28 0 3935833 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960372874888 139960525952730 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3736] ppid=3697 vsize=13801768 CPUtime=20.68 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3736/stat : 3736 (java) R 3697 3697 14782 0 -1 4202560 349 0 0 0 2068 0 0 0 20 0 28 0 3935833 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960371823016 139960525952642 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3737] ppid=3697 vsize=13801768 CPUtime=20.85 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3737/stat : 3737 (java) R 3697 3697 14782 0 -1 4202560 651 0 0 0 2085 0 0 0 20 0 28 0 3935833 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960370769960 139960526320916 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3738] ppid=3697 vsize=13801768 CPUtime=20.53 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3738/stat : 3738 (java) R 3697 3697 14782 0 -1 4202560 1572 0 0 0 2051 2 0 0 20 0 28 0 3935833 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960369717040 139960526025374 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3739] ppid=3697 vsize=13801768 CPUtime=20.65 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3739/stat : 3739 (java) R 3697 3697 14782 0 -1 4202560 562 0 0 0 2065 0 0 0 20 0 28 0 3935833 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960300589000 139960526318781 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3740] ppid=3697 vsize=13801768 CPUtime=20.34 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3740/stat : 3740 (java) R 3697 3697 14782 0 -1 4202560 334 0 0 0 2034 0 0 0 20 0 28 0 3935833 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960299537016 139960526024894 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3741] ppid=3697 vsize=13801768 CPUtime=20.45 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3741/stat : 3741 (java) R 3697 3697 14782 0 -1 4202560 377 0 0 0 2045 0 0 0 20 0 28 0 3935833 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960298485848 139960526063738 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3742] ppid=3697 vsize=13801768 CPUtime=20.71 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3742/stat : 3742 (java) R 3697 3697 14782 0 -1 4202560 303 0 0 0 2071 0 0 0 20 0 28 0 3935833 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960297431160 139960526754780 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
Current children cumulated CPU time (s) 178.94
Current children cumulated vsize (KiB) 13811280
[startup+24.8015 s]
/proc/loadavg: 12.43 14.44 14.67 17/300 3759
/proc/meminfo: memFree=26896572/32770624 swapFree=5804/254024
[pid=3697] ppid=3694 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3697/stat : 3697 (xcsp3-exec) S 3694 3697 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3935570 9740288 346 33554432000 4194304 5098028 140721470528800 140721470526904 140015511294588 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 38981632 140721470534799 140721470535008 140721470535008 140721470537707 0
/proc/3697/statm: 2378 346 289 221 0 87 0
[pid=3698] ppid=3697 vsize=13801768 CPUtime=185.31 cores=1,3,5,7,9,11,13,15
/proc/3698/stat : 3698 (java) S 3697 3697 14782 0 -1 1077944320 51513 0 0 0 18380 151 0 0 20 0 28 0 3935570 14133010432 198103 33554432000 4194304 4196468 140720881837856 140720881820400 139960928182007 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
/proc/3698/statm: 3450442 198103 3285 1 0 3437675 0
[pid=3698/tid=3699] ppid=3697 vsize=13801768 CPUtime=2.36 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3699/stat : 3699 (java) S 3697 3697 14782 0 -1 1077944384 8072 0 0 0 229 7 0 0 20 0 28 0 3935571 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960932422784 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3701] ppid=3697 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3701/stat : 3701 (java) S 3697 3697 14782 0 -1 1077944384 322 0 0 0 18 15 0 0 20 0 28 0 3935572 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960846662544 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3702] ppid=3697 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3702/stat : 3702 (java) S 3697 3697 14782 0 -1 1077944384 389 0 0 0 18 16 0 0 20 0 28 0 3935572 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960845609744 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3703] ppid=3697 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3703/stat : 3703 (java) S 3697 3697 14782 0 -1 1077944384 383 0 0 0 16 16 0 0 20 0 28 0 3935572 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960844557456 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3704] ppid=3697 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3704/stat : 3704 (java) S 3697 3697 14782 0 -1 1077944384 257 0 0 0 18 16 0 0 20 0 28 0 3935572 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960843504656 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3705] ppid=3697 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3705/stat : 3705 (java) S 3697 3697 14782 0 -1 1077944384 428 0 0 0 18 15 0 0 20 0 28 0 3935572 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960842451344 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3706] ppid=3697 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3706/stat : 3706 (java) S 3697 3697 14782 0 -1 1077944384 646 0 0 0 18 15 0 0 20 0 28 0 3935572 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960841398544 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3707] ppid=3697 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3707/stat : 3707 (java) S 3697 3697 14782 0 -1 1077944384 332 0 0 0 18 16 0 0 20 0 28 0 3935572 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960840346256 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3708] ppid=3697 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3708/stat : 3708 (java) S 3697 3697 14782 0 -1 1077944384 1041 0 0 0 19 16 0 0 20 0 28 0 3935572 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960839293456 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3709] ppid=3697 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3709/stat : 3709 (java) S 3697 3697 14782 0 -1 1077944384 1214 0 0 0 1 1 0 0 20 0 28 0 3935574 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960390363760 139960928193154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3710] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3710/stat : 3710 (java) S 3697 3697 14782 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 3935574 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960389309792 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3711] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3711/stat : 3711 (java) S 3697 3697 14782 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3935575 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960388257408 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3712] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3712/stat : 3712 (java) S 3697 3697 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3935579 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960387205712 139960928200603 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3713] ppid=3697 vsize=13801768 CPUtime=2.46 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3713/stat : 3713 (java) S 3697 3697 14782 0 -1 1077944384 8531 0 0 0 245 1 0 0 20 0 28 0 3935579 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960386152560 139960928193154 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3714] ppid=3697 vsize=13801768 CPUtime=2.73 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3714/stat : 3714 (java) S 3697 3697 14782 0 -1 1077944384 7822 0 0 0 272 1 0 0 20 0 28 0 3935579 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960385099760 139960928193154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3715] ppid=3697 vsize=13801768 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3715/stat : 3715 (java) S 3697 3697 14782 0 -1 1077944384 8706 0 0 0 254 2 0 0 20 0 28 0 3935579 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960384047472 139960928193154 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3716] ppid=3697 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3716/stat : 3716 (java) S 3697 3697 14782 0 -1 1077944384 6555 0 0 0 91 2 0 0 20 0 28 0 3935579 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960382994672 139960928193154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3717] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3717/stat : 3717 (java) S 3697 3697 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3935579 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960381942624 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3718] ppid=3697 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3718/stat : 3718 (java) S 3697 3697 14782 0 -1 1077944384 949 0 0 0 0 1 0 0 20 0 28 0 3935579 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960380889904 139960928193154 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3735] ppid=3697 vsize=13801768 CPUtime=21.6 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3735/stat : 3735 (java) R 3697 3697 14782 0 -1 4202560 363 0 0 0 2160 0 0 0 20 0 28 0 3935833 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960372874888 139960525952642 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3736] ppid=3697 vsize=13801768 CPUtime=21.48 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3736/stat : 3736 (java) R 3697 3697 14782 0 -1 4202560 349 0 0 0 2148 0 0 0 20 0 28 0 3935833 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960371823016 139960526317801 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3737] ppid=3697 vsize=13801768 CPUtime=21.65 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3737/stat : 3737 (java) R 3697 3697 14782 0 -1 4202560 651 0 0 0 2165 0 0 0 20 0 28 0 3935833 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960370769960 139960526320911 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3738] ppid=3697 vsize=13801768 CPUtime=21.33 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3738/stat : 3738 (java) R 3697 3697 14782 0 -1 4202560 1582 0 0 0 2131 2 0 0 20 0 28 0 3935833 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960369717040 139960526823015 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3739] ppid=3697 vsize=13801768 CPUtime=21.45 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3739/stat : 3739 (java) R 3697 3697 14782 0 -1 4202560 562 0 0 0 2145 0 0 0 20 0 28 0 3935833 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960300589000 139960526754780 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3740] ppid=3697 vsize=13801768 CPUtime=21.11 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3740/stat : 3740 (java) R 3697 3697 14782 0 -1 4202560 334 0 0 0 2111 0 0 0 20 0 28 0 3935833 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960299537016 139960525952439 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3741] ppid=3697 vsize=13801768 CPUtime=21.25 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3741/stat : 3741 (java) R 3697 3697 14782 0 -1 4202560 377 0 0 0 2125 0 0 0 20 0 28 0 3935833 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960298485848 139960526024981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3742] ppid=3697 vsize=13801768 CPUtime=21.5 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3742/stat : 3742 (java) R 3697 3697 14782 0 -1 4202560 303 0 0 0 2150 0 0 0 20 0 28 0 3935833 14133010432 198103 33554432000 4194304 4196468 140720881837856 139960297431160 139960526317806 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
Current children cumulated CPU time (s) 185.31
Current children cumulated vsize (KiB) 13811280
[startup+25.0015 s]
/proc/loadavg: 12.43 14.44 14.67 17/300 3759
/proc/meminfo: memFree=26896572/32770624 swapFree=5804/254024
[pid=3697] ppid=3694 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3697/stat : 3697 (xcsp3-exec) S 3694 3697 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3935570 9740288 346 33554432000 4194304 5098028 140721470528800 140721470526904 140015511294588 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 38981632 140721470534799 140721470535008 140721470535008 140721470537707 0
/proc/3697/statm: 2378 346 289 221 0 87 0
[pid=3698] ppid=3697 vsize=13801768 CPUtime=186.85 cores=1,3,5,7,9,11,13,15
/proc/3698/stat : 3698 (java) S 3697 3697 14782 0 -1 1077944320 52524 0 0 0 18534 151 0 0 20 0 20 0 3935570 14133010432 197983 33554432000 4194304 4196468 140720881837856 140720881820400 139960928182007 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
/proc/3698/statm: 3450442 197983 3288 1 0 3437675 0
[pid=3698/tid=3699] ppid=3697 vsize=13801768 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3699/stat : 3699 (java) R 3697 3697 14782 0 -1 4202560 8389 0 0 0 230 7 0 0 20 0 20 0 3935571 14133010432 197983 33554432000 4194304 4196468 140720881837856 139960932421112 139960914568289 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3701] ppid=3697 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3701/stat : 3701 (java) S 3697 3697 14782 0 -1 1077944384 322 0 0 0 18 15 0 0 20 0 20 0 3935572 14133010432 197983 33554432000 4194304 4196468 140720881837856 139960846662544 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3702] ppid=3697 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3702/stat : 3702 (java) S 3697 3697 14782 0 -1 1077944384 389 0 0 0 18 16 0 0 20 0 20 0 3935572 14133010432 197983 33554432000 4194304 4196468 140720881837856 139960845609744 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3703] ppid=3697 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3703/stat : 3703 (java) S 3697 3697 14782 0 -1 1077944384 383 0 0 0 16 16 0 0 20 0 20 0 3935572 14133010432 197983 33554432000 4194304 4196468 140720881837856 139960844557456 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3704] ppid=3697 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3704/stat : 3704 (java) S 3697 3697 14782 0 -1 1077944384 257 0 0 0 18 16 0 0 20 0 20 0 3935572 14133010432 197983 33554432000 4194304 4196468 140720881837856 139960843504656 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3705] ppid=3697 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3705/stat : 3705 (java) S 3697 3697 14782 0 -1 1077944384 428 0 0 0 18 15 0 0 20 0 20 0 3935572 14133010432 197983 33554432000 4194304 4196468 140720881837856 139960842451344 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3706] ppid=3697 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3706/stat : 3706 (java) S 3697 3697 14782 0 -1 1077944384 646 0 0 0 18 15 0 0 20 0 20 0 3935572 14133010432 197983 33554432000 4194304 4196468 140720881837856 139960841398544 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3707] ppid=3697 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3707/stat : 3707 (java) S 3697 3697 14782 0 -1 1077944384 332 0 0 0 18 16 0 0 20 0 20 0 3935572 14133010432 197983 33554432000 4194304 4196468 140720881837856 139960840346256 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3708] ppid=3697 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3708/stat : 3708 (java) S 3697 3697 14782 0 -1 1077944384 1041 0 0 0 19 16 0 0 20 0 20 0 3935572 14133010432 197983 33554432000 4194304 4196468 140720881837856 139960839293456 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3709] ppid=3697 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3709/stat : 3709 (java) S 3697 3697 14782 0 -1 1077944384 1214 0 0 0 1 1 0 0 20 0 20 0 3935574 14133010432 197983 33554432000 4194304 4196468 140720881837856 139960390363760 139960928193154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3710] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3710/stat : 3710 (java) S 3697 3697 14782 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 3935574 14133010432 197983 33554432000 4194304 4196468 140720881837856 139960389309792 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3711] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3711/stat : 3711 (java) S 3697 3697 14782 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 3935575 14133010432 197983 33554432000 4194304 4196468 140720881837856 139960388257408 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3712] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3712/stat : 3712 (java) S 3697 3697 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3935579 14133010432 197983 33554432000 4194304 4196468 140720881837856 139960387205712 139960928200603 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3713] ppid=3697 vsize=13801768 CPUtime=2.48 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3713/stat : 3713 (java) R 3697 3697 14782 0 -1 4202560 8565 0 0 0 247 1 0 0 20 0 20 0 3935579 14133010432 197983 33554432000 4194304 4196468 140720881837856 139960386133952 139960912078019 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3714] ppid=3697 vsize=13801768 CPUtime=2.74 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3714/stat : 3714 (java) R 3697 3697 14782 0 -1 4202560 7891 0 0 0 273 1 0 0 20 0 20 0 3935579 14133010432 197983 33554432000 4194304 4196468 140720881837856 139960385099760 139960907371456 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3715] ppid=3697 vsize=13801768 CPUtime=2.57 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3715/stat : 3715 (java) R 3697 3697 14782 0 -1 4202560 8976 0 0 0 255 2 0 0 20 0 20 0 3935579 14133010432 197983 33554432000 4194304 4196468 140720881837856 139960384047768 139960912578708 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3716] ppid=3697 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3716/stat : 3716 (java) S 3697 3697 14782 0 -1 1077944384 6631 0 0 0 91 2 0 0 20 0 20 0 3935579 14133010432 197983 33554432000 4194304 4196468 140720881837856 139960382994672 139960928193154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3717] ppid=3697 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3717/stat : 3717 (java) S 3697 3697 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3935579 14133010432 197983 33554432000 4194304 4196468 140720881837856 139960381942624 139960928192213 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
[pid=3698/tid=3718] ppid=3697 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/3698/task/3718/stat : 3718 (java) S 3697 3697 14782 0 -1 1077944384 949 0 0 0 0 1 0 0 20 0 20 0 3935579 14133010432 197983 33554432000 4194304 4196468 140720881837856 139960380889904 139960928193154 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38363136 140720881841340 140720881841516 140720881841516 140720881844175 0
Current children cumulated CPU time (s) 186.85
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 25.0226
CPU time (s): 186.892
CPU user time (s): 185.364
CPU system time (s): 1.52728
CPU usage (%): 746.891
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 185.364
system time used= 1.52727
maximum resident set size= 794464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53270
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4998
involuntary context switches= 16292
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.265809 second user time and 0.372352 second system time
The end