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-4244681-1502045605/watcher-4244681-1502045605 -o /tmp/evaluation-result-4244681-1502045605/solver-4244681-1502045605 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 310259661 HOME/instance-4244681-1502045605.xml
pid=1719
running on 4 cores: 0,2,4,6
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: 8.86 8.70 8.06 5/204 1722
/proc/meminfo: memFree=31171456/32770624 swapFree=0/319684
[pid=1722] ppid=1719 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/1722/stat : 1722 (runsolver) D 1719 1722 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 52375809 24240128 106 18446744073709551615 4194304 4338465 140721968687840 140721968685480 139891787338455 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 19103744 140721968693335 140721968693833 140721968693833 140721968697290 0
/proc/1722/statm: 5918 106 53 36 0 2156 0
[startup+0.109126 s]
/proc/loadavg: 8.86 8.70 8.06 5/204 1722
/proc/meminfo: memFree=31171456/32770624 swapFree=0/319684
[pid=1722] ppid=1719 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/1722/stat : 1722 (xcsp3-exec) S 1719 1722 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 52375809 9740288 345 18446744073709551615 4194304 5098028 140729056741152 140729056739256 140405007622780 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 24199168 140729056747929 140729056748138 140729056748138 140729056751595 0
/proc/1722/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.202976 s]
/proc/loadavg: 8.86 8.70 8.06 5/204 1722
/proc/meminfo: memFree=31171456/32770624 swapFree=0/319684
[pid=1722] ppid=1719 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/1722/stat : 1722 (xcsp3-exec) S 1719 1722 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 52375809 9740288 345 18446744073709551615 4194304 5098028 140729056741152 140729056739256 140405007622780 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 24199168 140729056747929 140729056748138 140729056748138 140729056751595 0
/proc/1722/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300321 s]
/proc/loadavg: 8.86 8.70 8.06 5/204 1722
/proc/meminfo: memFree=31171456/32770624 swapFree=0/319684
[pid=1722] ppid=1719 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/1722/stat : 1722 (xcsp3-exec) S 1719 1722 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 52375809 9740288 345 18446744073709551615 4194304 5098028 140729056741152 140729056739256 140405007622780 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 24199168 140729056747929 140729056748138 140729056748138 140729056751595 0
/proc/1722/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.702231 s]
/proc/loadavg: 8.86 8.70 8.06 5/204 1722
/proc/meminfo: memFree=31171456/32770624 swapFree=0/319684
[pid=1722] ppid=1719 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/1722/stat : 1722 (xcsp3-exec) S 1719 1722 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 52375809 9740288 345 18446744073709551615 4194304 5098028 140729056741152 140729056739256 140405007622780 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 24199168 140729056747929 140729056748138 140729056748138 140729056751595 0
/proc/1722/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50112 s]
/proc/loadavg: 8.86 8.70 8.06 13/224 1742
/proc/meminfo: memFree=31089692/32770624 swapFree=0/319712
[pid=1722] ppid=1719 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/1722/stat : 1722 (xcsp3-exec) S 1719 1722 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 52375809 9740288 345 18446744073709551615 4194304 5098028 140729056741152 140729056739256 140405007622780 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 24199168 140729056747929 140729056748138 140729056748138 140729056751595 0
/proc/1722/statm: 2378 345 289 221 0 87 0
[pid=1724] ppid=1722 vsize=13185584 CPUtime=4.25 cores=0,2,4,6
/proc/1724/stat : 1724 (java) S 1722 1722 25100 0 -1 1077944320 20108 0 0 0 418 7 0 0 20 0 19 0 52375817 13502038016 29952 18446744073709551615 4194304 4196468 140722939216640 140722939199184 140635564822263 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
/proc/1724/statm: 3296396 29952 3205 1 0 3284688 0
[pid=1724/tid=1725] ppid=1722 vsize=13185584 CPUtime=0.66 cores=0,2,4,6
/proc/1724/task/1725/stat : 1725 (java) S 1722 1722 25100 0 -1 1077944384 8592 0 0 0 62 4 0 0 20 0 19 0 52375818 13502038016 29952 18446744073709551615 4194304 4196468 140722939216640 140635569063040 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1726] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1726/stat : 1726 (java) S 1722 1722 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52375818 13502038016 29952 18446744073709551615 4194304 4196468 140722939216640 140635487648400 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1727] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1727/stat : 1727 (java) S 1722 1722 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52375818 13502038016 29952 18446744073709551615 4194304 4196468 140722939216640 140635486595600 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1728] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1728/stat : 1728 (java) S 1722 1722 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52375818 13502038016 29952 18446744073709551615 4194304 4196468 140722939216640 140635485542800 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1729] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1729/stat : 1729 (java) S 1722 1722 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52375818 13502038016 29952 18446744073709551615 4194304 4196468 140722939216640 140635484490000 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1730] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1730/stat : 1730 (java) S 1722 1722 25100 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52375820 13502038016 29952 18446744073709551615 4194304 4196468 140722939216640 140635048811376 140635564833410 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1731] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1731/stat : 1731 (java) S 1722 1722 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 52375820 13502038016 29952 18446744073709551615 4194304 4196468 140722939216640 140635047757344 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1732] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1732/stat : 1732 (java) S 1722 1722 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52375820 13502038016 29952 18446744073709551615 4194304 4196468 140722939216640 140635046704496 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1733] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1733/stat : 1733 (java) S 1722 1722 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52375823 13502038016 29952 18446744073709551615 4194304 4196468 140722939216640 140635045652816 140635564840859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1734] ppid=1722 vsize=13185584 CPUtime=0.51 cores=0,2,4,6
/proc/1724/task/1734/stat : 1734 (java) R 1722 1722 25100 0 -1 4202560 3446 0 0 0 51 0 0 0 20 0 19 0 52375823 13502038016 29952 18446744073709551615 4194304 4196468 140722939216640 140635044586056 140635546366940 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1735] ppid=1722 vsize=13185584 CPUtime=0.49 cores=0,2,4,6
/proc/1724/task/1735/stat : 1735 (java) R 1722 1722 25100 0 -1 4202560 3118 0 0 0 48 1 0 0 20 0 19 0 52375823 13502038016 29952 18446744073709551615 4194304 4196468 140722939216640 140635043533400 140635546342006 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1736] ppid=1722 vsize=13185584 CPUtime=0.58 cores=0,2,4,6
/proc/1724/task/1736/stat : 1736 (java) S 1722 1722 25100 0 -1 1077944384 2872 0 0 0 58 0 0 0 20 0 19 0 52375823 13502038016 29952 18446744073709551615 4194304 4196468 140722939216640 140635042494576 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1737] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1737/stat : 1737 (java) S 1722 1722 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52375823 13502038016 29952 18446744073709551615 4194304 4196468 140722939216640 140635041442016 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1738] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1738/stat : 1738 (java) S 1722 1722 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52375827 13502038016 29952 18446744073709551615 4194304 4196468 140722939216640 140635040390320 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1739] ppid=1722 vsize=13185584 CPUtime=0.55 cores=0,2,4,6
/proc/1724/task/1739/stat : 1739 (java) R 1722 1722 25100 0 -1 4202560 90 0 0 0 55 0 0 0 20 0 19 0 52375889 13502038016 29952 18446744073709551615 4194304 4196468 140722939216640 140635032376272 140635169708971 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1740] ppid=1722 vsize=13185584 CPUtime=0.41 cores=0,2,4,6
/proc/1724/task/1740/stat : 1740 (java) R 1722 1722 25100 0 -1 4202560 99 0 0 0 41 0 0 0 20 0 19 0 52375889 13502038016 29952 18446744073709551615 4194304 4196468 140722939216640 140635031322488 140635164220361 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1741] ppid=1722 vsize=13185584 CPUtime=0.53 cores=0,2,4,6
/proc/1724/task/1741/stat : 1741 (java) R 1722 1722 25100 0 -1 4202560 59 0 0 0 53 0 0 0 20 0 19 0 52375889 13502038016 29952 18446744073709551615 4194304 4196468 140722939216640 140635030270384 140635169709046 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1742] ppid=1722 vsize=13185584 CPUtime=0.46 cores=0,2,4,6
/proc/1724/task/1742/stat : 1742 (java) R 1722 1722 25100 0 -1 4202560 525 0 0 0 46 0 0 0 20 0 19 0 52375889 13502038016 29952 18446744073709551615 4194304 4196468 140722939216640 140635029215848 140635169007478 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 13195096
[startup+3.10112 s]
/proc/loadavg: 9.03 8.74 8.07 12/224 1742
/proc/meminfo: memFree=31033376/32770624 swapFree=0/319712
[pid=1722] ppid=1719 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/1722/stat : 1722 (xcsp3-exec) S 1719 1722 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 52375809 9740288 345 18446744073709551615 4194304 5098028 140729056741152 140729056739256 140405007622780 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 24199168 140729056747929 140729056748138 140729056748138 140729056751595 0
/proc/1722/statm: 2378 345 289 221 0 87 0
[pid=1724] ppid=1722 vsize=13185584 CPUtime=10.63 cores=0,2,4,6
/proc/1724/stat : 1724 (java) S 1722 1722 25100 0 -1 1077944320 35837 0 0 0 1054 9 0 0 20 0 19 0 52375817 13502038016 47847 18446744073709551615 4194304 4196468 140722939216640 140722939199184 140635564822263 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
/proc/1724/statm: 3296396 47847 3214 1 0 3284688 0
[pid=1724/tid=1725] ppid=1722 vsize=13185584 CPUtime=0.66 cores=0,2,4,6
/proc/1724/task/1725/stat : 1725 (java) S 1722 1722 25100 0 -1 1077944384 8592 0 0 0 62 4 0 0 20 0 19 0 52375818 13502038016 47847 18446744073709551615 4194304 4196468 140722939216640 140635569063040 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1726] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1726/stat : 1726 (java) S 1722 1722 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52375818 13502038016 47847 18446744073709551615 4194304 4196468 140722939216640 140635487648400 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1727] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1727/stat : 1727 (java) S 1722 1722 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52375818 13502038016 47847 18446744073709551615 4194304 4196468 140722939216640 140635486595600 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1728] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1728/stat : 1728 (java) S 1722 1722 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52375818 13502038016 47847 18446744073709551615 4194304 4196468 140722939216640 140635485542800 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1729] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1729/stat : 1729 (java) S 1722 1722 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52375818 13502038016 47847 18446744073709551615 4194304 4196468 140722939216640 140635484490000 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1730] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1730/stat : 1730 (java) S 1722 1722 25100 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 52375820 13502038016 47847 18446744073709551615 4194304 4196468 140722939216640 140635048811376 140635564833410 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1731] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1731/stat : 1731 (java) S 1722 1722 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 52375820 13502038016 47847 18446744073709551615 4194304 4196468 140722939216640 140635047757344 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1732] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1732/stat : 1732 (java) S 1722 1722 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52375820 13502038016 47847 18446744073709551615 4194304 4196468 140722939216640 140635046704496 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1733] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1733/stat : 1733 (java) S 1722 1722 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52375823 13502038016 47847 18446744073709551615 4194304 4196468 140722939216640 140635045652816 140635564840859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1734] ppid=1722 vsize=13185584 CPUtime=1.42 cores=0,2,4,6
/proc/1724/task/1734/stat : 1734 (java) R 1722 1722 25100 0 -1 4202560 9092 0 0 0 141 1 0 0 20 0 19 0 52375823 13502038016 47847 18446744073709551615 4194304 4196468 140722939216640 140635044586200 140635544068106 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1735] ppid=1722 vsize=13185584 CPUtime=1.42 cores=0,2,4,6
/proc/1724/task/1735/stat : 1735 (java) R 1722 1722 25100 0 -1 4202560 12155 0 0 0 141 1 0 0 20 0 19 0 52375823 13502038016 47847 18446744073709551615 4194304 4196468 140722939216640 140635043533400 140635549746610 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1736] ppid=1722 vsize=13185584 CPUtime=0.64 cores=0,2,4,6
/proc/1724/task/1736/stat : 1736 (java) S 1722 1722 25100 0 -1 1077944384 3356 0 0 0 64 0 0 0 20 0 19 0 52375823 13502038016 47847 18446744073709551615 4194304 4196468 140722939216640 140635042494576 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1737] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1737/stat : 1737 (java) S 1722 1722 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52375823 13502038016 47847 18446744073709551615 4194304 4196468 140722939216640 140635041442016 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1738] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1738/stat : 1738 (java) S 1722 1722 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52375827 13502038016 47847 18446744073709551615 4194304 4196468 140722939216640 140635040390320 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1739] ppid=1722 vsize=13185584 CPUtime=1.57 cores=0,2,4,6
/proc/1724/task/1739/stat : 1739 (java) R 1722 1722 25100 0 -1 4202560 302 0 0 0 157 0 0 0 20 0 19 0 52375889 13502038016 47847 18446744073709551615 4194304 4196468 140722939216640 140635032373920 140635169707748 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1740] ppid=1722 vsize=13185584 CPUtime=1.61 cores=0,2,4,6
/proc/1724/task/1740/stat : 1740 (java) R 1722 1722 25100 0 -1 4202560 236 0 0 0 161 0 0 0 20 0 19 0 52375889 13502038016 47847 18446744073709551615 4194304 4196468 140722939216640 140635031324808 140635170897137 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1741] ppid=1722 vsize=13185584 CPUtime=1.63 cores=0,2,4,6
/proc/1724/task/1741/stat : 1741 (java) R 1722 1722 25100 0 -1 4202560 113 0 0 0 163 0 0 0 20 0 19 0 52375889 13502038016 47847 18446744073709551615 4194304 4196468 140722939216640 140635030270904 140635169707748 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1742] ppid=1722 vsize=13185584 CPUtime=1.61 cores=0,2,4,6
/proc/1724/task/1742/stat : 1742 (java) R 1722 1722 25100 0 -1 4202560 650 0 0 0 161 0 0 0 20 0 19 0 52375889 13502038016 47847 18446744073709551615 4194304 4196468 140722939216640 140635029216056 140635164252704 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
Current children cumulated CPU time (s) 10.63
Current children cumulated vsize (KiB) 13195096
[startup+6.30813 s]
/proc/loadavg: 9.03 8.74 8.07 11/224 1742
/proc/meminfo: memFree=30947916/32770624 swapFree=0/319720
[pid=1722] ppid=1719 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/1722/stat : 1722 (xcsp3-exec) S 1719 1722 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 52375809 9740288 345 18446744073709551615 4194304 5098028 140729056741152 140729056739256 140405007622780 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 24199168 140729056747929 140729056748138 140729056748138 140729056751595 0
/proc/1722/statm: 2378 345 289 221 0 87 0
[pid=1724] ppid=1722 vsize=13185584 CPUtime=23.4 cores=0,2,4,6
/proc/1724/stat : 1724 (java) S 1722 1722 25100 0 -1 1077944320 40915 0 0 0 2328 12 0 0 20 0 19 0 52375817 13502038016 61990 18446744073709551615 4194304 4196468 140722939216640 140722939199184 140635564822263 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
/proc/1724/statm: 3296396 61990 3238 1 0 3284688 0
[pid=1724/tid=1725] ppid=1722 vsize=13185584 CPUtime=0.66 cores=0,2,4,6
/proc/1724/task/1725/stat : 1725 (java) S 1722 1722 25100 0 -1 1077944384 8592 0 0 0 62 4 0 0 20 0 19 0 52375818 13502038016 61990 18446744073709551615 4194304 4196468 140722939216640 140635569063040 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1726] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1726/stat : 1726 (java) S 1722 1722 25100 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 52375818 13502038016 61990 18446744073709551615 4194304 4196468 140722939216640 140635487648400 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1727] ppid=1722 vsize=13185584 CPUtime=0.01 cores=0,2,4,6
/proc/1724/task/1727/stat : 1727 (java) S 1722 1722 25100 0 -1 1077944384 768 0 0 0 1 0 0 0 20 0 19 0 52375818 13502038016 61990 18446744073709551615 4194304 4196468 140722939216640 140635486595600 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1728] ppid=1722 vsize=13185584 CPUtime=0.01 cores=0,2,4,6
/proc/1724/task/1728/stat : 1728 (java) S 1722 1722 25100 0 -1 1077944384 371 0 0 0 1 0 0 0 20 0 19 0 52375818 13502038016 61990 18446744073709551615 4194304 4196468 140722939216640 140635485542800 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1729] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1729/stat : 1729 (java) S 1722 1722 25100 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 52375818 13502038016 61990 18446744073709551615 4194304 4196468 140722939216640 140635484490000 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1730] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1730/stat : 1730 (java) S 1722 1722 25100 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 19 0 52375820 13502038016 61990 18446744073709551615 4194304 4196468 140722939216640 140635048811376 140635564833410 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1731] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1731/stat : 1731 (java) S 1722 1722 25100 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 52375820 13502038016 61990 18446744073709551615 4194304 4196468 140722939216640 140635047757344 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1732] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1732/stat : 1732 (java) S 1722 1722 25100 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 52375820 13502038016 61990 18446744073709551615 4194304 4196468 140722939216640 140635046704496 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1733] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1733/stat : 1733 (java) S 1722 1722 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52375823 13502038016 61990 18446744073709551615 4194304 4196468 140722939216640 140635045652816 140635564840859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1734] ppid=1722 vsize=13185584 CPUtime=3.36 cores=0,2,4,6
/proc/1724/task/1734/stat : 1734 (java) R 1722 1722 25100 0 -1 4202560 10011 0 0 0 335 1 0 0 20 0 19 0 52375823 13502038016 61990 18446744073709551615 4194304 4196468 140722939216640 140635044600096 140635557111717 0 4 1 16800974 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1735] ppid=1722 vsize=13185584 CPUtime=3.4 cores=0,2,4,6
/proc/1724/task/1735/stat : 1735 (java) R 1722 1722 25100 0 -1 4202560 13331 0 0 0 339 1 0 0 20 0 19 0 52375823 13502038016 61990 18446744073709551615 4194304 4196468 140722939216640 140635043528576 140635564834198 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1736] ppid=1722 vsize=13185584 CPUtime=0.75 cores=0,2,4,6
/proc/1724/task/1736/stat : 1736 (java) R 1722 1722 25100 0 -1 1077944384 4158 0 0 0 74 1 0 0 20 0 19 0 52375823 13502038016 61990 18446744073709551615 4194304 4196468 140722939216640 140635042492368 140635564832469 0 4 1 16800974 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1737] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1737/stat : 1737 (java) S 1722 1722 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52375823 13502038016 61990 18446744073709551615 4194304 4196468 140722939216640 140635041442016 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1738] ppid=1722 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1738/stat : 1738 (java) S 1722 1722 25100 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 52375827 13502038016 61990 18446744073709551615 4194304 4196468 140722939216640 140635040390320 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1739] ppid=1722 vsize=13185584 CPUtime=3.71 cores=0,2,4,6
/proc/1724/task/1739/stat : 1739 (java) R 1722 1722 25100 0 -1 4202560 550 0 0 0 371 0 0 0 20 0 19 0 52375889 13502038016 61990 18446744073709551615 4194304 4196468 140722939216640 140635032375272 140635173453212 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
################
# More data... #
################
/proc/1724/task/1732/stat : 1732 (java) S 1722 1722 25100 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 52375820 13505187840 91302 18446744073709551615 4194304 4196468 140722939216640 140635046704512 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1733] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1733/stat : 1733 (java) S 1722 1722 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52375823 13505187840 91302 18446744073709551615 4194304 4196468 140722939216640 140635045652816 140635564840859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1734] ppid=1722 vsize=13188660 CPUtime=4.35 cores=0,2,4,6
/proc/1724/task/1734/stat : 1734 (java) S 1722 1722 25100 0 -1 1077944384 15659 0 0 0 433 2 0 0 20 0 19 0 52375823 13505187840 91302 18446744073709551615 4194304 4196468 140722939216640 140635044600176 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1735] ppid=1722 vsize=13188660 CPUtime=4.3 cores=0,2,4,6
/proc/1724/task/1735/stat : 1735 (java) S 1722 1722 25100 0 -1 1077944384 17487 0 0 0 428 2 0 0 20 0 19 0 52375823 13505187840 91302 18446744073709551615 4194304 4196468 140722939216640 140635043547376 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1736] ppid=1722 vsize=13188660 CPUtime=0.86 cores=0,2,4,6
/proc/1724/task/1736/stat : 1736 (java) S 1722 1722 25100 0 -1 1077944384 8973 0 0 0 85 1 0 0 20 0 19 0 52375823 13505187840 91302 18446744073709551615 4194304 4196468 140722939216640 140635042494576 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1737] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1737/stat : 1737 (java) S 1722 1722 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52375823 13505187840 91302 18446744073709551615 4194304 4196468 140722939216640 140635041442016 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1738] ppid=1722 vsize=13188660 CPUtime=0.06 cores=0,2,4,6
/proc/1724/task/1738/stat : 1738 (java) S 1722 1722 25100 0 -1 1077944384 671 0 0 0 0 6 0 0 20 0 19 0 52375827 13505187840 91302 18446744073709551615 4194304 4196468 140722939216640 140635040390320 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=2060] ppid=1722 vsize=13188660 CPUtime=99.56 cores=0,2,4,6
/proc/1724/task/2060/stat : 2060 (java) R 1722 1722 25100 0 -1 4202560 708 0 0 0 9956 0 0 0 20 0 19 0 52382973 13505187840 91302 18446744073709551615 4194304 4196468 140722939216640 140635026066200 140635174316059 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=2061] ppid=1722 vsize=13188660 CPUtime=99.4 cores=0,2,4,6
/proc/1724/task/2061/stat : 2061 (java) R 1722 1722 25100 0 -1 4202560 3710 0 0 0 9939 1 0 0 20 0 19 0 52382973 13505187840 91302 18446744073709551615 4194304 4196468 140722939216640 140635031322312 140635172597960 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=2062] ppid=1722 vsize=13188660 CPUtime=99.53 cores=0,2,4,6
/proc/1724/task/2062/stat : 2062 (java) R 1722 1722 25100 0 -1 4202560 1526 0 0 0 9953 0 0 0 20 0 19 0 52382973 13505187840 91302 18446744073709551615 4194304 4196468 140722939216640 140635030269328 140635174316203 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=2063] ppid=1722 vsize=13188660 CPUtime=99.46 cores=0,2,4,6
/proc/1724/task/2063/stat : 2063 (java) R 1722 1722 25100 0 -1 4202560 2612 0 0 0 9946 0 0 0 20 0 19 0 52382973 13505187840 91302 18446744073709551615 4194304 4196468 140722939216640 140635029220592 140635171448467 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
Current children cumulated CPU time (s) 652.44
Current children cumulated vsize (KiB) 13198172
[startup+173.601 s]
/proc/loadavg: 8.60 8.55 8.10 9/225 2096
/proc/meminfo: memFree=30454080/32770624 swapFree=0/319892
[pid=1722] ppid=1719 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/1722/stat : 1722 (xcsp3-exec) S 1719 1722 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 52375809 9740288 345 18446744073709551615 4194304 5098028 140729056741152 140729056739256 140405007622780 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 24199168 140729056747929 140729056748138 140729056748138 140729056751595 0
/proc/1722/statm: 2378 345 289 221 0 87 0
[pid=1724] ppid=1722 vsize=13188660 CPUtime=654.75 cores=0,2,4,6
/proc/1724/stat : 1724 (java) S 1722 1722 25100 0 -1 1077944320 104045 0 0 0 65379 96 0 0 20 0 19 0 52375817 13505187840 91048 18446744073709551615 4194304 4196468 140722939216640 140722939199184 140635564822263 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
/proc/1724/statm: 3297165 91048 3269 1 0 3285457 0
[pid=1724/tid=1725] ppid=1722 vsize=13188660 CPUtime=0.69 cores=0,2,4,6
/proc/1724/task/1725/stat : 1725 (java) S 1722 1722 25100 0 -1 1077944384 9347 0 0 0 65 4 0 0 20 0 19 0 52375818 13505187840 91048 18446744073709551615 4194304 4196468 140722939216640 140635569063040 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1726] ppid=1722 vsize=13188660 CPUtime=0.75 cores=0,2,4,6
/proc/1724/task/1726/stat : 1726 (java) S 1722 1722 25100 0 -1 1077944384 2403 0 0 0 64 11 0 0 20 0 19 0 52375818 13505187840 91048 18446744073709551615 4194304 4196468 140722939216640 140635487648400 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1727] ppid=1722 vsize=13188660 CPUtime=0.75 cores=0,2,4,6
/proc/1724/task/1727/stat : 1727 (java) S 1722 1722 25100 0 -1 1077944384 4149 0 0 0 63 12 0 0 20 0 19 0 52375818 13505187840 91048 18446744073709551615 4194304 4196468 140722939216640 140635486595600 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1728] ppid=1722 vsize=13188660 CPUtime=0.76 cores=0,2,4,6
/proc/1724/task/1728/stat : 1728 (java) S 1722 1722 25100 0 -1 1077944384 5205 0 0 0 65 11 0 0 20 0 19 0 52375818 13505187840 91048 18446744073709551615 4194304 4196468 140722939216640 140635485542800 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1729] ppid=1722 vsize=13188660 CPUtime=0.74 cores=0,2,4,6
/proc/1724/task/1729/stat : 1729 (java) S 1722 1722 25100 0 -1 1077944384 4270 0 0 0 63 11 0 0 20 0 19 0 52375818 13505187840 91048 18446744073709551615 4194304 4196468 140722939216640 140635484490000 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1730] ppid=1722 vsize=13188660 CPUtime=0.66 cores=0,2,4,6
/proc/1724/task/1730/stat : 1730 (java) S 1722 1722 25100 0 -1 1077944384 8005 0 0 0 33 33 0 0 20 0 19 0 52375820 13505187840 91048 18446744073709551615 4194304 4196468 140722939216640 140635048811376 140635564833410 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1731] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1731/stat : 1731 (java) S 1722 1722 25100 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 52375820 13505187840 91048 18446744073709551615 4194304 4196468 140722939216640 140635047757408 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1732] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1732/stat : 1732 (java) S 1722 1722 25100 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 52375820 13505187840 91048 18446744073709551615 4194304 4196468 140722939216640 140635046704512 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1733] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1733/stat : 1733 (java) S 1722 1722 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52375823 13505187840 91048 18446744073709551615 4194304 4196468 140722939216640 140635045652816 140635564840859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1734] ppid=1722 vsize=13188660 CPUtime=4.35 cores=0,2,4,6
/proc/1724/task/1734/stat : 1734 (java) S 1722 1722 25100 0 -1 1077944384 15659 0 0 0 433 2 0 0 20 0 19 0 52375823 13505187840 91048 18446744073709551615 4194304 4196468 140722939216640 140635044600176 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1735] ppid=1722 vsize=13188660 CPUtime=4.33 cores=0,2,4,6
/proc/1724/task/1735/stat : 1735 (java) S 1722 1722 25100 0 -1 1077944384 18373 0 0 0 431 2 0 0 20 0 19 0 52375823 13505187840 91048 18446744073709551615 4194304 4196468 140722939216640 140635043547376 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1736] ppid=1722 vsize=13188660 CPUtime=0.86 cores=0,2,4,6
/proc/1724/task/1736/stat : 1736 (java) S 1722 1722 25100 0 -1 1077944384 8973 0 0 0 85 1 0 0 20 0 19 0 52375823 13505187840 91048 18446744073709551615 4194304 4196468 140722939216640 140635042494576 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1737] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1737/stat : 1737 (java) S 1722 1722 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52375823 13505187840 91048 18446744073709551615 4194304 4196468 140722939216640 140635041442016 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1738] ppid=1722 vsize=13188660 CPUtime=0.06 cores=0,2,4,6
/proc/1724/task/1738/stat : 1738 (java) S 1722 1722 25100 0 -1 1077944384 671 0 0 0 0 6 0 0 20 0 19 0 52375827 13505187840 91048 18446744073709551615 4194304 4196468 140722939216640 140635040390320 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=2060] ppid=1722 vsize=13188660 CPUtime=100.35 cores=0,2,4,6
/proc/1724/task/2060/stat : 2060 (java) R 1722 1722 25100 0 -1 4202560 709 0 0 0 10035 0 0 0 20 0 19 0 52382973 13505187840 91048 18446744073709551615 4194304 4196468 140722939216640 140635026066200 140635174316056 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=2061] ppid=1722 vsize=13188660 CPUtime=99.83 cores=0,2,4,6
/proc/1724/task/2061/stat : 2061 (java) S 1722 1722 25100 0 -1 1077944384 4139 0 0 0 9982 1 0 0 20 0 19 0 52382973 13505187840 91048 18446744073709551615 4194304 4196468 140722939216640 140635031327600 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=2062] ppid=1722 vsize=13188660 CPUtime=100.14 cores=0,2,4,6
/proc/1724/task/2062/stat : 2062 (java) S 1722 1722 25100 0 -1 1077944384 1547 0 0 0 10014 0 0 0 20 0 19 0 52382973 13505187840 91048 18446744073709551615 4194304 4196468 140722939216640 140635030274800 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=2063] ppid=1722 vsize=13188660 CPUtime=99.89 cores=0,2,4,6
/proc/1724/task/2063/stat : 2063 (java) S 1722 1722 25100 0 -1 1077944384 2815 0 0 0 9989 0 0 0 20 0 19 0 52382973 13505187840 91048 18446744073709551615 4194304 4196468 140722939216640 140635029223024 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
Current children cumulated CPU time (s) 654.75
Current children cumulated vsize (KiB) 13198172
[startup+173.801 s]
/proc/loadavg: 8.60 8.55 8.10 6/225 2100
/proc/meminfo: memFree=30455868/32770624 swapFree=0/319892
[pid=1722] ppid=1719 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/1722/stat : 1722 (xcsp3-exec) S 1719 1722 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 52375809 9740288 345 18446744073709551615 4194304 5098028 140729056741152 140729056739256 140405007622780 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 24199168 140729056747929 140729056748138 140729056748138 140729056751595 0
/proc/1722/statm: 2378 345 289 221 0 87 0
[pid=1724] ppid=1722 vsize=13188660 CPUtime=654.96 cores=0,2,4,6
/proc/1724/stat : 1724 (java) S 1722 1722 25100 0 -1 1077944320 104925 0 0 0 65400 96 0 0 20 0 19 0 52375817 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140722939199184 140635564822263 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
/proc/1724/statm: 3297165 90824 3274 1 0 3285457 0
[pid=1724/tid=1725] ppid=1722 vsize=13188660 CPUtime=0.69 cores=0,2,4,6
/proc/1724/task/1725/stat : 1725 (java) S 1722 1722 25100 0 -1 1077944384 9403 0 0 0 65 4 0 0 20 0 19 0 52375818 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635569063040 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1726] ppid=1722 vsize=13188660 CPUtime=0.75 cores=0,2,4,6
/proc/1724/task/1726/stat : 1726 (java) S 1722 1722 25100 0 -1 1077944384 2429 0 0 0 64 11 0 0 20 0 19 0 52375818 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635487648400 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1727] ppid=1722 vsize=13188660 CPUtime=0.75 cores=0,2,4,6
/proc/1724/task/1727/stat : 1727 (java) S 1722 1722 25100 0 -1 1077944384 4441 0 0 0 63 12 0 0 20 0 19 0 52375818 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635486595600 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1728] ppid=1722 vsize=13188660 CPUtime=0.76 cores=0,2,4,6
/proc/1724/task/1728/stat : 1728 (java) S 1722 1722 25100 0 -1 1077944384 5241 0 0 0 65 11 0 0 20 0 19 0 52375818 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635485542800 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1729] ppid=1722 vsize=13188660 CPUtime=0.74 cores=0,2,4,6
/proc/1724/task/1729/stat : 1729 (java) S 1722 1722 25100 0 -1 1077944384 4301 0 0 0 63 11 0 0 20 0 19 0 52375818 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635484490000 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1730] ppid=1722 vsize=13188660 CPUtime=0.67 cores=0,2,4,6
/proc/1724/task/1730/stat : 1730 (java) S 1722 1722 25100 0 -1 1077944384 8028 0 0 0 33 34 0 0 20 0 19 0 52375820 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635048811376 140635564833410 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1731] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1731/stat : 1731 (java) S 1722 1722 25100 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 52375820 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635047757408 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1732] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1732/stat : 1732 (java) S 1722 1722 25100 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 52375820 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635046704512 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1733] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1733/stat : 1733 (java) S 1722 1722 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52375823 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635045652816 140635564840859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1734] ppid=1722 vsize=13188660 CPUtime=4.35 cores=0,2,4,6
/proc/1724/task/1734/stat : 1734 (java) S 1722 1722 25100 0 -1 1077944384 15659 0 0 0 433 2 0 0 20 0 19 0 52375823 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635044600176 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1735] ppid=1722 vsize=13188660 CPUtime=4.33 cores=0,2,4,6
/proc/1724/task/1735/stat : 1735 (java) S 1722 1722 25100 0 -1 1077944384 18373 0 0 0 431 2 0 0 20 0 19 0 52375823 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635043547376 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1736] ppid=1722 vsize=13188660 CPUtime=0.86 cores=0,2,4,6
/proc/1724/task/1736/stat : 1736 (java) S 1722 1722 25100 0 -1 1077944384 8973 0 0 0 85 1 0 0 20 0 19 0 52375823 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635042494576 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1737] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1737/stat : 1737 (java) S 1722 1722 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52375823 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635041442016 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1738] ppid=1722 vsize=13188660 CPUtime=0.06 cores=0,2,4,6
/proc/1724/task/1738/stat : 1738 (java) S 1722 1722 25100 0 -1 1077944384 671 0 0 0 0 6 0 0 20 0 19 0 52375827 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635040390320 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=2097] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/2097/stat : 2097 (java) S 1722 1722 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 52393183 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635031326768 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=2098] ppid=1722 vsize=13188660 CPUtime=0.06 cores=0,2,4,6
/proc/1724/task/2098/stat : 2098 (java) R 1722 1722 25100 0 -1 4202560 285 0 0 0 6 0 0 0 20 0 19 0 52393183 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635030273008 140635174316016 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=2099] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/2099/stat : 2099 (java) S 1722 1722 25100 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 52393183 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635029222640 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=2100] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/2100/stat : 2100 (java) S 1722 1722 25100 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 52393183 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635026072688 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
Current children cumulated CPU time (s) 654.96
Current children cumulated vsize (KiB) 13198172
[startup+173.907 s]
/proc/loadavg: 8.60 8.55 8.10 6/225 2100
/proc/meminfo: memFree=30455868/32770624 swapFree=0/319892
[pid=1722] ppid=1719 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/1722/stat : 1722 (xcsp3-exec) S 1719 1722 25100 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 52375809 9740288 345 18446744073709551615 4194304 5098028 140729056741152 140729056739256 140405007622780 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 24199168 140729056747929 140729056748138 140729056748138 140729056751595 0
/proc/1722/statm: 2378 345 289 221 0 87 0
[pid=1724] ppid=1722 vsize=13188660 CPUtime=655.06 cores=0,2,4,6
/proc/1724/stat : 1724 (java) S 1722 1722 25100 0 -1 1077944320 104925 0 0 0 65410 96 0 0 20 0 19 0 52375817 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140722939199184 140635564822263 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
/proc/1724/statm: 3297165 90824 3274 1 0 3285457 0
[pid=1724/tid=1725] ppid=1722 vsize=13188660 CPUtime=0.69 cores=0,2,4,6
/proc/1724/task/1725/stat : 1725 (java) S 1722 1722 25100 0 -1 1077944384 9403 0 0 0 65 4 0 0 20 0 19 0 52375818 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635569063040 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1726] ppid=1722 vsize=13188660 CPUtime=0.75 cores=0,2,4,6
/proc/1724/task/1726/stat : 1726 (java) S 1722 1722 25100 0 -1 1077944384 2429 0 0 0 64 11 0 0 20 0 19 0 52375818 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635487648400 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1727] ppid=1722 vsize=13188660 CPUtime=0.75 cores=0,2,4,6
/proc/1724/task/1727/stat : 1727 (java) S 1722 1722 25100 0 -1 1077944384 4441 0 0 0 63 12 0 0 20 0 19 0 52375818 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635486595600 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1728] ppid=1722 vsize=13188660 CPUtime=0.76 cores=0,2,4,6
/proc/1724/task/1728/stat : 1728 (java) S 1722 1722 25100 0 -1 1077944384 5241 0 0 0 65 11 0 0 20 0 19 0 52375818 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635485542800 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1729] ppid=1722 vsize=13188660 CPUtime=0.74 cores=0,2,4,6
/proc/1724/task/1729/stat : 1729 (java) S 1722 1722 25100 0 -1 1077944384 4301 0 0 0 63 11 0 0 20 0 19 0 52375818 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635484490000 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1730] ppid=1722 vsize=13188660 CPUtime=0.67 cores=0,2,4,6
/proc/1724/task/1730/stat : 1730 (java) S 1722 1722 25100 0 -1 1077944384 8028 0 0 0 33 34 0 0 20 0 19 0 52375820 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635048811376 140635564833410 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1731] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1731/stat : 1731 (java) S 1722 1722 25100 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 52375820 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635047757408 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1732] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1732/stat : 1732 (java) S 1722 1722 25100 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 52375820 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635046704512 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1733] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1733/stat : 1733 (java) S 1722 1722 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52375823 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635045652816 140635564840859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1734] ppid=1722 vsize=13188660 CPUtime=4.35 cores=0,2,4,6
/proc/1724/task/1734/stat : 1734 (java) S 1722 1722 25100 0 -1 1077944384 15659 0 0 0 433 2 0 0 20 0 19 0 52375823 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635044600176 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1735] ppid=1722 vsize=13188660 CPUtime=4.33 cores=0,2,4,6
/proc/1724/task/1735/stat : 1735 (java) S 1722 1722 25100 0 -1 1077944384 18373 0 0 0 431 2 0 0 20 0 19 0 52375823 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635043547376 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1736] ppid=1722 vsize=13188660 CPUtime=0.86 cores=0,2,4,6
/proc/1724/task/1736/stat : 1736 (java) S 1722 1722 25100 0 -1 1077944384 8973 0 0 0 85 1 0 0 20 0 19 0 52375823 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635042494576 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1737] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/1737/stat : 1737 (java) S 1722 1722 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52375823 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635041442016 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=1738] ppid=1722 vsize=13188660 CPUtime=0.06 cores=0,2,4,6
/proc/1724/task/1738/stat : 1738 (java) S 1722 1722 25100 0 -1 1077944384 671 0 0 0 0 6 0 0 20 0 19 0 52375827 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635040390320 140635564833410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=2097] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/2097/stat : 2097 (java) S 1722 1722 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 52393183 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635031326768 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=2098] ppid=1722 vsize=13188660 CPUtime=0.16 cores=0,2,4,6
/proc/1724/task/2098/stat : 2098 (java) R 1722 1722 25100 0 -1 4202560 285 0 0 0 16 0 0 0 20 0 19 0 52393183 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635030273008 140635174316016 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=2099] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/2099/stat : 2099 (java) S 1722 1722 25100 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 52393183 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635029222640 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
[pid=1724/tid=2100] ppid=1722 vsize=13188660 CPUtime=0 cores=0,2,4,6
/proc/1724/task/2100/stat : 2100 (java) S 1722 1722 25100 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 52393183 13505187840 90824 18446744073709551615 4194304 4196468 140722939216640 140635026072688 140635564832469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25276416 140722939220438 140722939220614 140722939220614 140722939224015 0
Current children cumulated CPU time (s) 655.06
Current children cumulated vsize (KiB) 13198172
Child status: 0
Real time (s): 173.977
CPU time (s): 655.143
CPU user time (s): 654.166
CPU system time (s): 0.976868
CPU usage (%): 376.569
Max. virtual memory (cumulated for all children) (KiB): 13198172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 654.166
system time used= 0.976868
maximum resident set size= 550240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105527
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16671
involuntary context switches= 14562
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.89966 second user time and 1.25479 second system time
The end