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-4248825-1500693328/watcher-4248825-1500693328 -o /tmp/evaluation-result-4248825-1500693328/solver-4248825-1500693328 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7801 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1227254422 HOME/instance-4248825-1500693328.xml
pid=28718
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.99 15.23 13.99 9/270 28721
/proc/meminfo: memFree=29106304/32770624 swapFree=5860/287628
[pid=28721] ppid=28718 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28721/stat : 28721 (xcsp3-exec) S 28718 28721 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600246 9740288 346 33554432000 4194304 5098028 140720714588848 140720714586952 139692473275004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12587008 140720714597518 140720714597728 140720714597728 140720714600427 0
/proc/28721/statm: 2378 346 289 221 0 87 0
[startup+0.100138 s]
/proc/loadavg: 15.99 15.23 13.99 9/270 28721
/proc/meminfo: memFree=29106304/32770624 swapFree=5860/287628
[pid=28721] ppid=28718 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28721/stat : 28721 (xcsp3-exec) S 28718 28721 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600246 9740288 346 33554432000 4194304 5098028 140720714588848 140720714586952 139692473275004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12587008 140720714597518 140720714597728 140720714597728 140720714600427 0
/proc/28721/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200339 s]
/proc/loadavg: 15.99 15.23 13.99 9/270 28721
/proc/meminfo: memFree=29106304/32770624 swapFree=5860/287628
[pid=28721] ppid=28718 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28721/stat : 28721 (xcsp3-exec) S 28718 28721 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600246 9740288 346 33554432000 4194304 5098028 140720714588848 140720714586952 139692473275004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12587008 140720714597518 140720714597728 140720714597728 140720714600427 0
/proc/28721/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300331 s]
/proc/loadavg: 15.99 15.23 13.99 9/270 28721
/proc/meminfo: memFree=29106304/32770624 swapFree=5860/287628
[pid=28721] ppid=28718 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28721/stat : 28721 (xcsp3-exec) S 28718 28721 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600246 9740288 346 33554432000 4194304 5098028 140720714588848 140720714586952 139692473275004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12587008 140720714597518 140720714597728 140720714597728 140720714600427 0
/proc/28721/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700317 s]
/proc/loadavg: 15.99 15.23 13.99 9/270 28721
/proc/meminfo: memFree=29106304/32770624 swapFree=5860/287628
[pid=28721] ppid=28718 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28721/stat : 28721 (xcsp3-exec) S 28718 28721 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600246 9740288 346 33554432000 4194304 5098028 140720714588848 140720714586952 139692473275004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12587008 140720714597518 140720714597728 140720714597728 140720714600427 0
/proc/28721/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50087 s]
/proc/loadavg: 15.99 15.23 13.99 10/291 28742
/proc/meminfo: memFree=28930568/32770624 swapFree=5860/287668
[pid=28721] ppid=28718 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28721/stat : 28721 (xcsp3-exec) S 28718 28721 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600246 9740288 346 33554432000 4194304 5098028 140720714588848 140720714586952 139692473275004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12587008 140720714597518 140720714597728 140720714597728 140720714600427 0
/proc/28721/statm: 2378 346 289 221 0 87 0
[pid=28722] ppid=28721 vsize=13269256 CPUtime=2.57 cores=0,2,4,6,8,10,12,14
/proc/28722/stat : 28722 (java) S 28721 28721 7411 0 -1 1077944320 11831 0 0 0 240 17 0 0 20 0 20 0 4600246 13587718144 51206 33554432000 4194304 4196468 140722284872096 140722284854640 140717114572535 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
/proc/28722/statm: 3317314 51206 3218 1 0 3304547 0
[pid=28722/tid=28723] ppid=28721 vsize=13269256 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28723/stat : 28723 (java) R 28721 28721 7411 0 -1 4202560 6270 0 0 0 139 4 0 0 20 0 20 0 4600246 13587718144 51206 33554432000 4194304 4196468 140722284872096 140717118809912 140716704289574 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28725] ppid=28721 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28725/stat : 28725 (java) S 28721 28721 7411 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 20 0 4600247 13587718144 51206 33554432000 4194304 4196468 140722284872096 140717033053072 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28726] ppid=28721 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28726/stat : 28726 (java) S 28721 28721 7411 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 20 0 4600247 13587718144 51206 33554432000 4194304 4196468 140722284872096 140717032000272 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28727] ppid=28721 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28727/stat : 28727 (java) S 28721 28721 7411 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 4600247 13587718144 51206 33554432000 4194304 4196468 140722284872096 140717030947984 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28728] ppid=28721 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28728/stat : 28728 (java) S 28721 28721 7411 0 -1 1077944384 19 0 0 0 0 1 0 0 20 0 20 0 4600247 13587718144 51206 33554432000 4194304 4196468 140722284872096 140717029895184 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28729] ppid=28721 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28729/stat : 28729 (java) S 28721 28721 7411 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 20 0 4600247 13587718144 51206 33554432000 4194304 4196468 140722284872096 140717028841872 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28730] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28730/stat : 28730 (java) S 28721 28721 7411 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 4600247 13587718144 51206 33554432000 4194304 4196468 140722284872096 140717027789072 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28731] ppid=28721 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28731/stat : 28731 (java) S 28721 28721 7411 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 20 0 4600247 13587718144 51206 33554432000 4194304 4196468 140722284872096 140717026736784 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28732] ppid=28721 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28732/stat : 28732 (java) S 28721 28721 7411 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 20 0 4600247 13587718144 51206 33554432000 4194304 4196468 140722284872096 140717025683984 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28733] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28733/stat : 28733 (java) S 28721 28721 7411 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4600250 13587718144 51206 33554432000 4194304 4196468 140722284872096 140715779074672 140717114583682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28734] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28734/stat : 28734 (java) S 28721 28721 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4600250 13587718144 51206 33554432000 4194304 4196468 140722284872096 140715778020640 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28735] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28735/stat : 28735 (java) S 28721 28721 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4600251 13587718144 51206 33554432000 4194304 4196468 140722284872096 140715776968304 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28736] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28736/stat : 28736 (java) S 28721 28721 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4600255 13587718144 51206 33554432000 4194304 4196468 140722284872096 140715775916624 140717114591131 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28737] ppid=28721 vsize=13269256 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28737/stat : 28737 (java) S 28721 28721 7411 0 -1 1077944384 1207 0 0 0 17 0 0 0 20 0 20 0 4600255 13587718144 51206 33554432000 4194304 4196468 140722284872096 140715774863472 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28738] ppid=28721 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28738/stat : 28738 (java) S 28721 28721 7411 0 -1 1077944384 760 0 0 0 13 0 0 0 20 0 20 0 4600255 13587718144 51206 33554432000 4194304 4196468 140722284872096 140715773810672 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28739] ppid=28721 vsize=13269256 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28739/stat : 28739 (java) S 28721 28721 7411 0 -1 1077944384 929 0 0 0 25 0 0 0 20 0 20 0 4600255 13587718144 51206 33554432000 4194304 4196468 140722284872096 140715772758384 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28740] ppid=28721 vsize=13269256 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28740/stat : 28740 (java) S 28721 28721 7411 0 -1 1077944384 1138 0 0 0 32 0 0 0 20 0 20 0 4600255 13587718144 51206 33554432000 4194304 4196468 140722284872096 140715771705584 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28741] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28741/stat : 28741 (java) S 28721 28721 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4600255 13587718144 51206 33554432000 4194304 4196468 140722284872096 140715770653536 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28742] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28742/stat : 28742 (java) S 28721 28721 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4600255 13587718144 51206 33554432000 4194304 4196468 140722284872096 140715769600816 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 13278768
[startup+3.10092 s]
/proc/loadavg: 15.43 15.13 13.97 10/291 28742
/proc/meminfo: memFree=28766796/32770624 swapFree=5860/287668
[pid=28721] ppid=28718 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28721/stat : 28721 (xcsp3-exec) S 28718 28721 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600246 9740288 346 33554432000 4194304 5098028 140720714588848 140720714586952 139692473275004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12587008 140720714597518 140720714597728 140720714597728 140720714600427 0
/proc/28721/statm: 2378 346 289 221 0 87 0
[pid=28722] ppid=28721 vsize=13269256 CPUtime=4.75 cores=0,2,4,6,8,10,12,14
/proc/28722/stat : 28722 (java) S 28721 28721 7411 0 -1 1077944320 12823 0 0 0 423 52 0 0 20 0 20 0 4600246 13587718144 96451 33554432000 4194304 4196468 140722284872096 140722284854640 140717114572535 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
/proc/28722/statm: 3317314 96451 3222 1 0 3304547 0
[pid=28722/tid=28723] ppid=28721 vsize=13269256 CPUtime=2.96 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28723/stat : 28723 (java) R 28721 28721 7411 0 -1 4202560 6758 0 0 0 290 6 0 0 20 0 20 0 4600246 13587718144 96451 33554432000 4194304 4196468 140722284872096 140717118809080 140716704344744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28725] ppid=28721 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28725/stat : 28725 (java) S 28721 28721 7411 0 -1 1077944384 63 0 0 0 5 5 0 0 20 0 20 0 4600247 13587718144 96451 33554432000 4194304 4196468 140722284872096 140717033053072 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28726] ppid=28721 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28726/stat : 28726 (java) S 28721 28721 7411 0 -1 1077944384 57 0 0 0 4 5 0 0 20 0 20 0 4600247 13587718144 96451 33554432000 4194304 4196468 140722284872096 140717032000272 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28727] ppid=28721 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28727/stat : 28727 (java) S 28721 28721 7411 0 -1 1077944384 62 0 0 0 4 5 0 0 20 0 20 0 4600247 13587718144 96451 33554432000 4194304 4196468 140722284872096 140717030947984 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28728] ppid=28721 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28728/stat : 28728 (java) S 28721 28721 7411 0 -1 1077944384 58 0 0 0 3 5 0 0 20 0 20 0 4600247 13587718144 96451 33554432000 4194304 4196468 140722284872096 140717029895184 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28729] ppid=28721 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28729/stat : 28729 (java) S 28721 28721 7411 0 -1 1077944384 58 0 0 0 4 5 0 0 20 0 20 0 4600247 13587718144 96451 33554432000 4194304 4196468 140722284872096 140717028841872 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28730] ppid=28721 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28730/stat : 28730 (java) S 28721 28721 7411 0 -1 1077944384 54 0 0 0 4 5 0 0 20 0 20 0 4600247 13587718144 96451 33554432000 4194304 4196468 140722284872096 140717027789072 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28731] ppid=28721 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28731/stat : 28731 (java) S 28721 28721 7411 0 -1 1077944384 57 0 0 0 4 5 0 0 20 0 20 0 4600247 13587718144 96451 33554432000 4194304 4196468 140722284872096 140717026736784 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28732] ppid=28721 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28732/stat : 28732 (java) S 28721 28721 7411 0 -1 1077944384 58 0 0 0 4 5 0 0 20 0 20 0 4600247 13587718144 96451 33554432000 4194304 4196468 140722284872096 140717025683984 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28733] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28733/stat : 28733 (java) S 28721 28721 7411 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 20 0 4600250 13587718144 96451 33554432000 4194304 4196468 140722284872096 140715779074672 140717114583682 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28734] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28734/stat : 28734 (java) S 28721 28721 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4600250 13587718144 96451 33554432000 4194304 4196468 140722284872096 140715778020640 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28735] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28735/stat : 28735 (java) S 28721 28721 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4600251 13587718144 96451 33554432000 4194304 4196468 140722284872096 140715776968304 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28736] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28736/stat : 28736 (java) S 28721 28721 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4600255 13587718144 96451 33554432000 4194304 4196468 140722284872096 140715775916624 140717114591131 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28737] ppid=28721 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28737/stat : 28737 (java) S 28721 28721 7411 0 -1 1077944384 1211 0 0 0 18 0 0 0 20 0 20 0 4600255 13587718144 96451 33554432000 4194304 4196468 140722284872096 140715774863472 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28738] ppid=28721 vsize=13269256 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28738/stat : 28738 (java) S 28721 28721 7411 0 -1 1077944384 766 0 0 0 14 0 0 0 20 0 20 0 4600255 13587718144 96451 33554432000 4194304 4196468 140722284872096 140715773810672 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28739] ppid=28721 vsize=13269256 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28739/stat : 28739 (java) S 28721 28721 7411 0 -1 1077944384 942 0 0 0 28 0 0 0 20 0 20 0 4600255 13587718144 96451 33554432000 4194304 4196468 140722284872096 140715772758384 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28740] ppid=28721 vsize=13269256 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28740/stat : 28740 (java) S 28721 28721 7411 0 -1 1077944384 1170 0 0 0 34 0 0 0 20 0 20 0 4600255 13587718144 96451 33554432000 4194304 4196468 140722284872096 140715771705584 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28741] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28741/stat : 28741 (java) S 28721 28721 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4600255 13587718144 96451 33554432000 4194304 4196468 140722284872096 140715770653536 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28742] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28742/stat : 28742 (java) S 28721 28721 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4600255 13587718144 96451 33554432000 4194304 4196468 140722284872096 140715769600816 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
Current children cumulated CPU time (s) 4.75
Current children cumulated vsize (KiB) 13278768
[startup+6.30094 s]
/proc/loadavg: 15.43 15.13 13.97 12/283 28830
/proc/meminfo: memFree=30804768/32770624 swapFree=5860/287708
[pid=28721] ppid=28718 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28721/stat : 28721 (xcsp3-exec) S 28718 28721 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600246 9740288 346 33554432000 4194304 5098028 140720714588848 140720714586952 139692473275004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12587008 140720714597518 140720714597728 140720714597728 140720714600427 0
/proc/28721/statm: 2378 346 289 221 0 87 0
[pid=28722] ppid=28721 vsize=13269256 CPUtime=8.91 cores=0,2,4,6,8,10,12,14
/proc/28722/stat : 28722 (java) S 28721 28721 7411 0 -1 1077944320 15050 0 0 0 777 114 0 0 20 0 20 0 4600246 13587718144 178589 33554432000 4194304 4196468 140722284872096 140722284854640 140717114572535 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
/proc/28722/statm: 3317314 178589 3239 1 0 3304547 0
[pid=28722/tid=28723] ppid=28721 vsize=13269256 CPUtime=6.03 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28723/stat : 28723 (java) R 28721 28721 7411 0 -1 4202560 7682 0 0 0 594 9 0 0 20 0 20 0 4600246 13587718144 178589 33554432000 4194304 4196468 140722284872096 140717118811048 140716704530219 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28725] ppid=28721 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28725/stat : 28725 (java) S 28721 28721 7411 0 -1 1077944384 128 0 0 0 10 12 0 0 20 0 20 0 4600247 13587718144 178589 33554432000 4194304 4196468 140722284872096 140717033053072 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28726] ppid=28721 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28726/stat : 28726 (java) S 28721 28721 7411 0 -1 1077944384 116 0 0 0 10 12 0 0 20 0 20 0 4600247 13587718144 178589 33554432000 4194304 4196468 140722284872096 140717032000272 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28727] ppid=28721 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28727/stat : 28727 (java) S 28721 28721 7411 0 -1 1077944384 125 0 0 0 10 12 0 0 20 0 20 0 4600247 13587718144 178589 33554432000 4194304 4196468 140722284872096 140717030947984 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28728] ppid=28721 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28728/stat : 28728 (java) S 28721 28721 7411 0 -1 1077944384 122 0 0 0 9 13 0 0 20 0 20 0 4600247 13587718144 178589 33554432000 4194304 4196468 140722284872096 140717029895184 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28729] ppid=28721 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28729/stat : 28729 (java) S 28721 28721 7411 0 -1 1077944384 122 0 0 0 9 13 0 0 20 0 20 0 4600247 13587718144 178589 33554432000 4194304 4196468 140722284872096 140717028841872 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28730] ppid=28721 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28730/stat : 28730 (java) S 28721 28721 7411 0 -1 1077944384 116 0 0 0 10 12 0 0 20 0 20 0 4600247 13587718144 178589 33554432000 4194304 4196468 140722284872096 140717027789072 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28731] ppid=28721 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28731/stat : 28731 (java) S 28721 28721 7411 0 -1 1077944384 119 0 0 0 9 13 0 0 20 0 20 0 4600247 13587718144 178589 33554432000 4194304 4196468 140722284872096 140717026736784 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28732] ppid=28721 vsize=13269256 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28732/stat : 28732 (java) S 28721 28721 7411 0 -1 1077944384 122 0 0 0 9 13 0 0 20 0 20 0 4600247 13587718144 178589 33554432000 4194304 4196468 140722284872096 140717025683984 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28733] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28733/stat : 28733 (java) S 28721 28721 7411 0 -1 1077944384 524 0 0 0 0 0 0 0 20 0 20 0 4600250 13587718144 178589 33554432000 4194304 4196468 140722284872096 140715779074672 140717114583682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28734] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28734/stat : 28734 (java) S 28721 28721 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4600250 13587718144 178589 33554432000 4194304 4196468 140722284872096 140715778020704 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28735] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28735/stat : 28735 (java) S 28721 28721 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4600251 13587718144 178589 33554432000 4194304 4196468 140722284872096 140715776968320 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28736] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28736/stat : 28736 (java) S 28721 28721 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4600255 13587718144 178589 33554432000 4194304 4196468 140722284872096 140715775916624 140717114591131 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
################
# More data... #
################
/proc/28722/task/28735/stat : 28735 (java) S 28721 28721 7411 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 4600251 13587718144 1179730 33554432000 4194304 4196468 140722284872096 140715776968320 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28736] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28736/stat : 28736 (java) S 28721 28721 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4600255 13587718144 1179730 33554432000 4194304 4196468 140722284872096 140715775916624 140717114591131 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28737] ppid=28721 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28737/stat : 28737 (java) S 28721 28721 7411 0 -1 1077944384 3771 0 0 0 54 1 0 0 20 0 20 0 4600255 13587718144 1179730 33554432000 4194304 4196468 140722284872096 140715774863472 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28738] ppid=28721 vsize=13269256 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28738/stat : 28738 (java) S 28721 28721 7411 0 -1 1077944384 3040 0 0 0 37 0 0 0 20 0 20 0 4600255 13587718144 1179730 33554432000 4194304 4196468 140722284872096 140715773810672 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28739] ppid=28721 vsize=13269256 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28739/stat : 28739 (java) S 28721 28721 7411 0 -1 1077944384 2087 0 0 0 41 1 0 0 20 0 20 0 4600255 13587718144 1179730 33554432000 4194304 4196468 140722284872096 140715772758384 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28740] ppid=28721 vsize=13269256 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28740/stat : 28740 (java) S 28721 28721 7411 0 -1 1077944384 3855 0 0 0 56 0 0 0 20 0 20 0 4600255 13587718144 1179730 33554432000 4194304 4196468 140722284872096 140715771705584 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28741] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28741/stat : 28741 (java) S 28721 28721 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4600255 13587718144 1179730 33554432000 4194304 4196468 140722284872096 140715770653536 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28742] ppid=28721 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28742/stat : 28742 (java) S 28721 28721 7411 0 -1 1077944384 84 0 0 0 1 1 0 0 20 0 20 0 4600255 13587718144 1179730 33554432000 4194304 4196468 140722284872096 140715769600816 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
Current children cumulated CPU time (s) 90.79
Current children cumulated vsize (KiB) 13278768
[startup+62.4008 s]
/proc/loadavg: 7.39 12.92 13.28 3/283 28830
/proc/meminfo: memFree=22716792/32770624 swapFree=5860/287772
[pid=28721] ppid=28718 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28721/stat : 28721 (xcsp3-exec) S 28718 28721 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600246 9740288 346 33554432000 4194304 5098028 140720714588848 140720714586952 139692473275004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12587008 140720714597518 140720714597728 140720714597728 140720714600427 0
/proc/28721/statm: 2378 346 289 221 0 87 0
[pid=28722] ppid=28721 vsize=13269256 CPUtime=92.41 cores=0,2,4,6,8,10,12,14
/proc/28722/stat : 28722 (java) S 28721 28721 7411 0 -1 1077944320 88384 0 0 0 8401 840 0 0 20 0 20 0 4600246 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140722284854640 140717114572535 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
/proc/28722/statm: 3317314 1179731 3268 1 0 3304547 0
[pid=28722/tid=28723] ppid=28721 vsize=13269256 CPUtime=56.74 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28723/stat : 28723 (java) R 28721 28721 7411 0 -1 4202560 14449 0 0 0 5634 40 0 0 20 0 20 0 4600246 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140717118806264 140716705899596 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28725] ppid=28721 vsize=13269256 CPUtime=4.03 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28725/stat : 28725 (java) S 28721 28721 7411 0 -1 1077944384 4786 0 0 0 307 96 0 0 20 0 20 0 4600247 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140717033053072 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28726] ppid=28721 vsize=13269256 CPUtime=4.04 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28726/stat : 28726 (java) S 28721 28721 7411 0 -1 1077944384 4378 0 0 0 309 95 0 0 20 0 20 0 4600247 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140717032000272 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28727] ppid=28721 vsize=13269256 CPUtime=4.01 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28727/stat : 28727 (java) S 28721 28721 7411 0 -1 1077944384 7719 0 0 0 302 99 0 0 20 0 20 0 4600247 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140717030947984 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28728] ppid=28721 vsize=13269256 CPUtime=3.94 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28728/stat : 28728 (java) S 28721 28721 7411 0 -1 1077944384 5656 0 0 0 309 85 0 0 20 0 20 0 4600247 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140717029895184 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28729] ppid=28721 vsize=13269256 CPUtime=4 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28729/stat : 28729 (java) S 28721 28721 7411 0 -1 1077944384 4415 0 0 0 299 101 0 0 20 0 20 0 4600247 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140717028841872 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28730] ppid=28721 vsize=13269256 CPUtime=4.02 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28730/stat : 28730 (java) S 28721 28721 7411 0 -1 1077944384 4414 0 0 0 292 110 0 0 20 0 20 0 4600247 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140717027789072 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28731] ppid=28721 vsize=13269256 CPUtime=4.01 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28731/stat : 28731 (java) S 28721 28721 7411 0 -1 1077944384 18469 0 0 0 296 105 0 0 20 0 20 0 4600247 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140717026736784 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28732] ppid=28721 vsize=13269256 CPUtime=4.02 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28732/stat : 28732 (java) S 28721 28721 7411 0 -1 1077944384 5418 0 0 0 304 98 0 0 20 0 20 0 4600247 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140717025683984 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28733] ppid=28721 vsize=13269256 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28733/stat : 28733 (java) S 28721 28721 7411 0 -1 1077944384 4371 0 0 0 148 1 0 0 20 0 20 0 4600250 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140715779074672 140717114583682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28734] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28734/stat : 28734 (java) S 28721 28721 7411 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 4600250 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140715778020704 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28735] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28735/stat : 28735 (java) S 28721 28721 7411 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 4600251 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140715776968320 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28736] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28736/stat : 28736 (java) S 28721 28721 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4600255 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140715775916624 140717114591131 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28737] ppid=28721 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28737/stat : 28737 (java) S 28721 28721 7411 0 -1 1077944384 3771 0 0 0 54 1 0 0 20 0 20 0 4600255 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140715774863472 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28738] ppid=28721 vsize=13269256 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28738/stat : 28738 (java) S 28721 28721 7411 0 -1 1077944384 3040 0 0 0 37 0 0 0 20 0 20 0 4600255 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140715773810672 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28739] ppid=28721 vsize=13269256 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28739/stat : 28739 (java) S 28721 28721 7411 0 -1 1077944384 2203 0 0 0 44 1 0 0 20 0 20 0 4600255 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140715772758384 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28740] ppid=28721 vsize=13269256 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28740/stat : 28740 (java) S 28721 28721 7411 0 -1 1077944384 3855 0 0 0 56 0 0 0 20 0 20 0 4600255 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140715771705584 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28741] ppid=28721 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28741/stat : 28741 (java) S 28721 28721 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4600255 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140715770653536 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28742] ppid=28721 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28742/stat : 28742 (java) S 28721 28721 7411 0 -1 1077944384 86 0 0 0 1 1 0 0 20 0 20 0 4600255 13587718144 1179731 33554432000 4194304 4196468 140722284872096 140715769600816 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
Current children cumulated CPU time (s) 92.41
Current children cumulated vsize (KiB) 13278768
[startup+63.2011 s]
/proc/loadavg: 6.96 12.74 13.22 3/283 28830
/proc/meminfo: memFree=22716668/32770624 swapFree=5860/287772
[pid=28721] ppid=28718 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28721/stat : 28721 (xcsp3-exec) S 28718 28721 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600246 9740288 346 33554432000 4194304 5098028 140720714588848 140720714586952 139692473275004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12587008 140720714597518 140720714597728 140720714597728 140720714600427 0
/proc/28721/statm: 2378 346 289 221 0 87 0
[pid=28722] ppid=28721 vsize=13801768 CPUtime=95.95 cores=0,2,4,6,8,10,12,14
/proc/28722/stat : 28722 (java) S 28721 28721 7411 0 -1 1077944320 90481 0 0 0 8754 841 0 0 20 0 28 0 4600246 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140722284854640 140717114572535 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
/proc/28722/statm: 3450442 1180676 3272 1 0 3437675 0
[pid=28722/tid=28723] ppid=28721 vsize=13801768 CPUtime=57.14 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28723/stat : 28723 (java) S 28721 28721 7411 0 -1 1077944384 14640 0 0 0 5674 40 0 0 20 0 28 0 4600246 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140717118813312 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28725] ppid=28721 vsize=13801768 CPUtime=4.03 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28725/stat : 28725 (java) S 28721 28721 7411 0 -1 1077944384 4786 0 0 0 307 96 0 0 20 0 28 0 4600247 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140717033053072 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28726] ppid=28721 vsize=13801768 CPUtime=4.04 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28726/stat : 28726 (java) S 28721 28721 7411 0 -1 1077944384 4378 0 0 0 309 95 0 0 20 0 28 0 4600247 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140717032000272 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28727] ppid=28721 vsize=13801768 CPUtime=4.01 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28727/stat : 28727 (java) S 28721 28721 7411 0 -1 1077944384 7719 0 0 0 302 99 0 0 20 0 28 0 4600247 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140717030947984 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28728] ppid=28721 vsize=13801768 CPUtime=3.94 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28728/stat : 28728 (java) S 28721 28721 7411 0 -1 1077944384 5656 0 0 0 309 85 0 0 20 0 28 0 4600247 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140717029895184 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28729] ppid=28721 vsize=13801768 CPUtime=4 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28729/stat : 28729 (java) S 28721 28721 7411 0 -1 1077944384 4415 0 0 0 299 101 0 0 20 0 28 0 4600247 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140717028841872 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28730] ppid=28721 vsize=13801768 CPUtime=4.02 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28730/stat : 28730 (java) S 28721 28721 7411 0 -1 1077944384 4414 0 0 0 292 110 0 0 20 0 28 0 4600247 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140717027789072 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28731] ppid=28721 vsize=13801768 CPUtime=4.01 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28731/stat : 28731 (java) S 28721 28721 7411 0 -1 1077944384 18469 0 0 0 296 105 0 0 20 0 28 0 4600247 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140717026736784 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28732] ppid=28721 vsize=13801768 CPUtime=4.02 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28732/stat : 28732 (java) S 28721 28721 7411 0 -1 1077944384 5418 0 0 0 304 98 0 0 20 0 28 0 4600247 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140717025683984 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28733] ppid=28721 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28733/stat : 28733 (java) S 28721 28721 7411 0 -1 1077944384 4380 0 0 0 149 1 0 0 20 0 28 0 4600250 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140715779074672 140717114583682 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28734] ppid=28721 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28734/stat : 28734 (java) S 28721 28721 7411 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4600250 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140715778020704 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28735] ppid=28721 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28735/stat : 28735 (java) S 28721 28721 7411 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 4600251 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140715776968320 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28736] ppid=28721 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28736/stat : 28736 (java) S 28721 28721 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4600255 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140715775916624 140717114591131 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28737] ppid=28721 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28737/stat : 28737 (java) R 28721 28721 7411 0 -1 4202560 4144 0 0 0 80 1 0 0 20 0 28 0 4600255 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140715774851040 140717098034896 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28738] ppid=28721 vsize=13801768 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28738/stat : 28738 (java) R 28721 28721 7411 0 -1 4202560 3098 0 0 0 58 0 0 0 20 0 28 0 4600255 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140715773803864 140717095265392 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28739] ppid=28721 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28739/stat : 28739 (java) R 28721 28721 7411 0 -1 4202560 2569 0 0 0 67 1 0 0 20 0 28 0 4600255 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140715772747888 140717093797424 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28740] ppid=28721 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28740/stat : 28740 (java) S 28721 28721 7411 0 -1 1077944384 4505 0 0 0 76 1 0 0 20 0 28 0 4600255 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140715771705584 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28741] ppid=28721 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28741/stat : 28741 (java) S 28721 28721 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4600255 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140715770653536 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28742] ppid=28721 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28742/stat : 28742 (java) S 28721 28721 7411 0 -1 1077944384 86 0 0 0 1 1 0 0 20 0 28 0 4600255 14133010432 1180676 33554432000 4194304 4196468 140722284872096 140715769600816 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 13 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
Current children cumulated CPU time (s) 95.95
Current children cumulated vsize (KiB) 13811280
[startup+63.4011 s]
/proc/loadavg: 6.96 12.74 13.22 3/283 28830
/proc/meminfo: memFree=22716668/32770624 swapFree=5860/287772
[pid=28721] ppid=28718 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28721/stat : 28721 (xcsp3-exec) S 28718 28721 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4600246 9740288 346 33554432000 4194304 5098028 140720714588848 140720714586952 139692473275004 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12587008 140720714597518 140720714597728 140720714597728 140720714600427 0
/proc/28721/statm: 2378 346 289 221 0 87 0
[pid=28722] ppid=28721 vsize=13801768 CPUtime=97.5 cores=0,2,4,6,8,10,12,14
/proc/28722/stat : 28722 (java) S 28721 28721 7411 0 -1 1077944320 91865 0 0 0 8908 842 0 0 20 0 28 0 4600246 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140722284854640 140717114572535 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
/proc/28722/statm: 3450442 1181626 3278 1 0 3437675 0
[pid=28722/tid=28723] ppid=28721 vsize=13801768 CPUtime=57.14 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28723/stat : 28723 (java) S 28721 28721 7411 0 -1 1077944384 14640 0 0 0 5674 40 0 0 20 0 28 0 4600246 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140717118813312 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28725] ppid=28721 vsize=13801768 CPUtime=4.03 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28725/stat : 28725 (java) S 28721 28721 7411 0 -1 1077944384 4786 0 0 0 307 96 0 0 20 0 28 0 4600247 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140717033053072 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28726] ppid=28721 vsize=13801768 CPUtime=4.04 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28726/stat : 28726 (java) S 28721 28721 7411 0 -1 1077944384 4378 0 0 0 309 95 0 0 20 0 28 0 4600247 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140717032000272 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28727] ppid=28721 vsize=13801768 CPUtime=4.01 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28727/stat : 28727 (java) S 28721 28721 7411 0 -1 1077944384 7719 0 0 0 302 99 0 0 20 0 28 0 4600247 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140717030947984 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28728] ppid=28721 vsize=13801768 CPUtime=3.94 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28728/stat : 28728 (java) S 28721 28721 7411 0 -1 1077944384 5656 0 0 0 309 85 0 0 20 0 28 0 4600247 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140717029895184 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28729] ppid=28721 vsize=13801768 CPUtime=4 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28729/stat : 28729 (java) S 28721 28721 7411 0 -1 1077944384 4415 0 0 0 299 101 0 0 20 0 28 0 4600247 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140717028841872 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28730] ppid=28721 vsize=13801768 CPUtime=4.02 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28730/stat : 28730 (java) S 28721 28721 7411 0 -1 1077944384 4414 0 0 0 292 110 0 0 20 0 28 0 4600247 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140717027789072 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28731] ppid=28721 vsize=13801768 CPUtime=4.01 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28731/stat : 28731 (java) S 28721 28721 7411 0 -1 1077944384 18469 0 0 0 296 105 0 0 20 0 28 0 4600247 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140717026736784 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28732] ppid=28721 vsize=13801768 CPUtime=4.02 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28732/stat : 28732 (java) S 28721 28721 7411 0 -1 1077944384 5418 0 0 0 304 98 0 0 20 0 28 0 4600247 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140717025683984 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28733] ppid=28721 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28733/stat : 28733 (java) S 28721 28721 7411 0 -1 1077944384 4380 0 0 0 149 1 0 0 20 0 28 0 4600250 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140715779074672 140717114583682 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28734] ppid=28721 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28734/stat : 28734 (java) S 28721 28721 7411 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 4600250 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140715778020704 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28735] ppid=28721 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28735/stat : 28735 (java) S 28721 28721 7411 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 4600251 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140715776968320 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28736] ppid=28721 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28736/stat : 28736 (java) S 28721 28721 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4600255 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140715775916624 140717114591131 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28737] ppid=28721 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28737/stat : 28737 (java) R 28721 28721 7411 0 -1 4202560 4577 0 0 0 96 1 0 0 20 0 28 0 4600255 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140715774849488 140717107672410 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28738] ppid=28721 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28738/stat : 28738 (java) R 28721 28721 7411 0 -1 4202560 3376 0 0 0 71 0 0 0 20 0 28 0 4600255 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140715773796896 140717114593882 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28739] ppid=28721 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28739/stat : 28739 (java) R 28721 28721 7411 0 -1 4202560 3160 0 0 0 80 1 0 0 20 0 28 0 4600255 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140715772744264 140717107289687 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28740] ppid=28721 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28740/stat : 28740 (java) S 28721 28721 7411 0 -1 1077944384 4592 0 0 0 77 1 0 0 20 0 28 0 4600255 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140715771705584 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28741] ppid=28721 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28741/stat : 28741 (java) S 28721 28721 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4600255 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140715770653536 140717114582741 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
[pid=28722/tid=28742] ppid=28721 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/28722/task/28742/stat : 28742 (java) S 28721 28721 7411 0 -1 1077944384 86 0 0 0 1 1 0 0 20 0 28 0 4600255 14133010432 1181626 33554432000 4194304 4196468 140722284872096 140715769600816 140717114583682 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 13 0 0 6293624 6294260 6406144 140722284876988 140722284877164 140722284877164 140722284879823 0
Current children cumulated CPU time (s) 97.5
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 63.4715
CPU time (s): 97.6887
CPU user time (s): 89.2394
CPU system time (s): 8.44938
CPU usage (%): 153.91
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.2394
system time used= 8.44938
maximum resident set size= 4728440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92620
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= 6795
involuntary context switches= 5934
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.455819 second user time and 0.524192 second system time
The end