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-4245902-1500686717/watcher-4245902-1500686717 -o /tmp/evaluation-result-4245902-1500686717/solver-4245902-1500686717 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1060830790 HOME/instance-4245902-1500686717.xml
pid=25551
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.06 14.82 14.44 9/270 25554
/proc/meminfo: memFree=31439916/32770624 swapFree=5808/98040
[pid=25554] ppid=25551 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25554/stat : 25554 (xcsp3-exec) S 25551 25554 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3936816 9740288 346 33554432000 4194304 5098028 140737239611584 140737239609688 139724877103740 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31281152 140737239614606 140737239614816 140737239614816 140737239617515 0
/proc/25554/statm: 2378 346 289 221 0 87 0
[startup+0.100128 s]
/proc/loadavg: 15.06 14.82 14.44 9/270 25554
/proc/meminfo: memFree=31439916/32770624 swapFree=5808/98040
[pid=25554] ppid=25551 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25554/stat : 25554 (xcsp3-exec) S 25551 25554 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3936816 9740288 346 33554432000 4194304 5098028 140737239611584 140737239609688 139724877103740 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31281152 140737239614606 140737239614816 140737239614816 140737239617515 0
/proc/25554/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200252 s]
/proc/loadavg: 15.06 14.82 14.44 9/270 25554
/proc/meminfo: memFree=31439916/32770624 swapFree=5808/98040
[pid=25554] ppid=25551 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25554/stat : 25554 (xcsp3-exec) S 25551 25554 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3936816 9740288 346 33554432000 4194304 5098028 140737239611584 140737239609688 139724877103740 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31281152 140737239614606 140737239614816 140737239614816 140737239617515 0
/proc/25554/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300285 s]
/proc/loadavg: 15.06 14.82 14.44 9/270 25554
/proc/meminfo: memFree=31439916/32770624 swapFree=5808/98040
[pid=25554] ppid=25551 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25554/stat : 25554 (xcsp3-exec) S 25551 25554 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3936816 9740288 346 33554432000 4194304 5098028 140737239611584 140737239609688 139724877103740 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31281152 140737239614606 140737239614816 140737239614816 140737239617515 0
/proc/25554/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70022 s]
/proc/loadavg: 15.06 14.82 14.44 9/270 25554
/proc/meminfo: memFree=31439916/32770624 swapFree=5808/98040
[pid=25554] ppid=25551 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25554/stat : 25554 (xcsp3-exec) S 25551 25554 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3936816 9740288 346 33554432000 4194304 5098028 140737239611584 140737239609688 139724877103740 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31281152 140737239614606 140737239614816 140737239614816 140737239617515 0
/proc/25554/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50107 s]
/proc/loadavg: 15.06 14.82 14.44 13/291 25575
/proc/meminfo: memFree=31248004/32770624 swapFree=5808/98364
[pid=25554] ppid=25551 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25554/stat : 25554 (xcsp3-exec) S 25551 25554 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3936816 9740288 346 33554432000 4194304 5098028 140737239611584 140737239609688 139724877103740 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31281152 140737239614606 140737239614816 140737239614816 140737239617515 0
/proc/25554/statm: 2378 346 289 221 0 87 0
[pid=25555] ppid=25554 vsize=13269256 CPUtime=5.6 cores=0,2,4,6,8,10,12,14
/proc/25555/stat : 25555 (java) S 25554 25554 15196 0 -1 1077944320 21571 0 0 0 537 23 0 0 20 0 20 0 3936816 13587718144 61575 33554432000 4194304 4196468 140736082433152 140736082415696 140534976646903 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
/proc/25555/statm: 3317314 61575 3245 1 0 3304547 0
[pid=25555/tid=25556] ppid=25554 vsize=13269256 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25556/stat : 25556 (java) R 25554 25554 15196 0 -1 4202560 6395 0 0 0 136 5 0 0 20 0 20 0 3936817 13587718144 61575 33554432000 4194304 4196468 140736082433152 140534980885944 140534568069828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25558] ppid=25554 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25558/stat : 25558 (java) S 25554 25554 15196 0 -1 1077944384 67 0 0 0 2 2 0 0 20 0 20 0 3936818 13587718144 61575 33554432000 4194304 4196468 140736082433152 140534895127312 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25559] ppid=25554 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25559/stat : 25559 (java) S 25554 25554 15196 0 -1 1077944384 27 0 0 0 2 1 0 0 20 0 20 0 3936818 13587718144 61575 33554432000 4194304 4196468 140736082433152 140534894074768 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25560] ppid=25554 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25560/stat : 25560 (java) S 25554 25554 15196 0 -1 1077944384 85 0 0 0 1 1 0 0 20 0 20 0 3936818 13587718144 61575 33554432000 4194304 4196468 140736082433152 140534893022224 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25561] ppid=25554 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25561/stat : 25561 (java) S 25554 25554 15196 0 -1 1077944384 247 0 0 0 2 2 0 0 20 0 20 0 3936818 13587718144 61575 33554432000 4194304 4196468 140736082433152 140534891969680 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25562] ppid=25554 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25562/stat : 25562 (java) S 25554 25554 15196 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 20 0 3936818 13587718144 61575 33554432000 4194304 4196468 140736082433152 140534890916112 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25563] ppid=25554 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25563/stat : 25563 (java) S 25554 25554 15196 0 -1 1077944384 97 0 0 0 2 2 0 0 20 0 20 0 3936818 13587718144 61575 33554432000 4194304 4196468 140736082433152 140534889863568 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25564] ppid=25554 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25564/stat : 25564 (java) S 25554 25554 15196 0 -1 1077944384 135 0 0 0 3 1 0 0 20 0 20 0 3936818 13587718144 61575 33554432000 4194304 4196468 140736082433152 140534888811024 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25565] ppid=25554 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25565/stat : 25565 (java) S 25554 25554 15196 0 -1 1077944384 24 0 0 0 2 0 0 0 20 0 20 0 3936818 13587718144 61575 33554432000 4194304 4196468 140736082433152 140534887758480 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25566] ppid=25554 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25566/stat : 25566 (java) S 25554 25554 15196 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 20 0 3936820 13587718144 61575 33554432000 4194304 4196468 140736082433152 140533641406960 140534976658050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25567] ppid=25554 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25567/stat : 25567 (java) S 25554 25554 15196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 3936821 13587718144 61575 33554432000 4194304 4196468 140736082433152 140533640353248 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25568] ppid=25554 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25568/stat : 25568 (java) S 25554 25554 15196 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 3936821 13587718144 61575 33554432000 4194304 4196468 140736082433152 140533639300608 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25569] ppid=25554 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25569/stat : 25569 (java) S 25554 25554 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3936824 13587718144 61575 33554432000 4194304 4196468 140736082433152 140533638249168 140534976665499 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25570] ppid=25554 vsize=13269256 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25570/stat : 25570 (java) R 25554 25554 15196 0 -1 4202560 3530 0 0 0 107 0 0 0 20 0 20 0 3936824 13587718144 61575 33554432000 4194304 4196468 140736082433152 140533637181712 140534961542062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25571] ppid=25554 vsize=13269256 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25571/stat : 25571 (java) R 25554 25554 15196 0 -1 4202560 3482 0 0 0 103 0 0 0 20 0 20 0 3936824 13587718144 61575 33554432000 4194304 4196468 140736082433152 140533636123216 140534960143687 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25572] ppid=25554 vsize=13269256 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25572/stat : 25572 (java) R 25554 25554 15196 0 -1 4202560 3582 0 0 0 110 0 0 0 20 0 20 0 3936824 13587718144 61575 33554432000 4194304 4196468 140736082433152 140533635076552 140534958191582 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25573] ppid=25554 vsize=13269256 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25573/stat : 25573 (java) S 25554 25554 15196 0 -1 1077944384 2418 0 0 0 59 0 0 0 20 0 20 0 3936825 13587718144 61575 33554432000 4194304 4196468 140736082433152 140533634038128 140534976658050 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25574] ppid=25554 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25574/stat : 25574 (java) S 25554 25554 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3936825 13587718144 61575 33554432000 4194304 4196468 140736082433152 140533632985824 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25575] ppid=25554 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25575/stat : 25575 (java) S 25554 25554 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3936825 13587718144 61575 33554432000 4194304 4196468 140736082433152 140533631933360 140534976658050 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 13278768
[startup+3.10116 s]
/proc/loadavg: 15.06 14.82 14.44 17/291 25575
/proc/meminfo: memFree=31012748/32770624 swapFree=5808/98364
[pid=25554] ppid=25551 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25554/stat : 25554 (xcsp3-exec) S 25551 25554 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3936816 9740288 346 33554432000 4194304 5098028 140737239611584 140737239609688 139724877103740 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31281152 140737239614606 140737239614816 140737239614816 140737239617515 0
/proc/25554/statm: 2378 346 289 221 0 87 0
[pid=25555] ppid=25554 vsize=13801768 CPUtime=12.67 cores=0,2,4,6,8,10,12,14
/proc/25555/stat : 25555 (java) S 25554 25554 15196 0 -1 1077944320 26968 0 0 0 1183 84 0 0 20 0 28 0 3936816 14133010432 143725 33554432000 4194304 4196468 140736082433152 140736082415696 140534976646903 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
/proc/25555/statm: 3450442 143725 3259 1 0 3437675 0
[pid=25555/tid=25556] ppid=25554 vsize=13801768 CPUtime=2.4 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25556/stat : 25556 (java) S 25554 25554 15196 0 -1 1077944384 8140 0 0 0 232 8 0 0 20 0 28 0 3936817 14133010432 143725 33554432000 4194304 4196468 140736082433152 140534980887680 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25558] ppid=25554 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25558/stat : 25558 (java) S 25554 25554 15196 0 -1 1077944384 630 0 0 0 10 10 0 0 20 0 28 0 3936818 14133010432 143725 33554432000 4194304 4196468 140736082433152 140534895127312 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25559] ppid=25554 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25559/stat : 25559 (java) S 25554 25554 15196 0 -1 1077944384 91 0 0 0 9 6 0 0 20 0 28 0 3936818 14133010432 143725 33554432000 4194304 4196468 140736082433152 140534894074768 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25560] ppid=25554 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25560/stat : 25560 (java) S 25554 25554 15196 0 -1 1077944384 238 0 0 0 9 9 0 0 20 0 28 0 3936818 14133010432 143725 33554432000 4194304 4196468 140736082433152 140534893022224 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25561] ppid=25554 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25561/stat : 25561 (java) S 25554 25554 15196 0 -1 1077944384 350 0 0 0 11 10 0 0 20 0 28 0 3936818 14133010432 143725 33554432000 4194304 4196468 140736082433152 140534891969680 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25562] ppid=25554 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25562/stat : 25562 (java) S 25554 25554 15196 0 -1 1077944384 172 0 0 0 9 8 0 0 20 0 28 0 3936818 14133010432 143725 33554432000 4194304 4196468 140736082433152 140534890916112 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25563] ppid=25554 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25563/stat : 25563 (java) S 25554 25554 15196 0 -1 1077944384 181 0 0 0 10 10 0 0 20 0 28 0 3936818 14133010432 143725 33554432000 4194304 4196468 140736082433152 140534889863568 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25564] ppid=25554 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25564/stat : 25564 (java) S 25554 25554 15196 0 -1 1077944384 215 0 0 0 11 8 0 0 20 0 28 0 3936818 14133010432 143725 33554432000 4194304 4196468 140736082433152 140534888811024 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25565] ppid=25554 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25565/stat : 25565 (java) S 25554 25554 15196 0 -1 1077944384 86 0 0 0 8 6 0 0 20 0 28 0 3936818 14133010432 143725 33554432000 4194304 4196468 140736082433152 140534887758480 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25566] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25566/stat : 25566 (java) S 25554 25554 15196 0 -1 1077944384 505 0 0 0 0 0 0 0 20 0 28 0 3936820 14133010432 143725 33554432000 4194304 4196468 140736082433152 140533641406960 140534976658050 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25567] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25567/stat : 25567 (java) S 25554 25554 15196 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3936821 14133010432 143725 33554432000 4194304 4196468 140736082433152 140533640353248 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25568] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25568/stat : 25568 (java) S 25554 25554 15196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3936821 14133010432 143725 33554432000 4194304 4196468 140736082433152 140533639300608 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25569] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25569/stat : 25569 (java) S 25554 25554 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3936824 14133010432 143725 33554432000 4194304 4196468 140736082433152 140533638249168 140534976665499 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25570] ppid=25554 vsize=13801768 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25570/stat : 25570 (java) R 25554 25554 15196 0 -1 4202560 3890 0 0 0 185 0 0 0 20 0 28 0 3936824 14133010432 143725 33554432000 4194304 4196468 140736082433152 140533637181784 140534958169930 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25571] ppid=25554 vsize=13801768 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25571/stat : 25571 (java) S 25554 25554 15196 0 -1 1077944384 3744 0 0 0 179 0 0 0 20 0 28 0 3936824 14133010432 143725 33554432000 4194304 4196468 140736082433152 140533636143216 140534976658050 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25572] ppid=25554 vsize=13801768 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25572/stat : 25572 (java) R 25554 25554 15196 0 -1 4202560 3911 0 0 0 188 1 0 0 20 0 28 0 3936824 14133010432 143725 33554432000 4194304 4196468 140736082433152 140533635080672 140534958166744 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25573] ppid=25554 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25573/stat : 25573 (java) S 25554 25554 15196 0 -1 1077944384 3020 0 0 0 81 1 0 0 20 0 28 0 3936825 14133010432 143725 33554432000 4194304 4196468 140736082433152 140533634038128 140534976658050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25574] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25574/stat : 25574 (java) S 25554 25554 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3936825 14133010432 143725 33554432000 4194304 4196468 140736082433152 140533632985824 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25575] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25575/stat : 25575 (java) S 25554 25554 15196 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 3936825 14133010432 143725 33554432000 4194304 4196468 140736082433152 140533631933360 140534976658050 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 13811280
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25555 sig 9
??? kill 25554 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20144 s]
/proc/loadavg: 15.06 14.82 14.44 17/291 25575
/proc/meminfo: memFree=31012748/32770624 swapFree=5808/98364
[pid=25554] ppid=25551 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25554/stat : 25554 (xcsp3-exec) S 25551 25554 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3936816 9740288 346 33554432000 4194304 5098028 140737239611584 140737239609688 139724877103740 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31281152 140737239614606 140737239614816 140737239614816 140737239617515 0
/proc/25554/statm: 2378 346 289 221 0 87 0
[pid=25555] ppid=25554 vsize=13801768 CPUtime=13.47 cores=0,2,4,6,8,10,12,14
/proc/25555/stat : 25555 (java) S 25554 25554 15196 0 -1 1077944320 27413 0 0 0 1263 84 0 0 20 0 28 0 3936816 14133010432 143937 33554432000 4194304 4196468 140736082433152 140736082415696 140534976646903 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
/proc/25555/statm: 3450442 143937 3266 1 0 3437675 0
[pid=25555/tid=25556] ppid=25554 vsize=13801768 CPUtime=2.4 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25556/stat : 25556 (java) S 25554 25554 15196 0 -1 1077944384 8140 0 0 0 232 8 0 0 20 0 28 0 3936817 14133010432 143937 33554432000 4194304 4196468 140736082433152 140534980887680 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25558] ppid=25554 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25558/stat : 25558 (java) S 25554 25554 15196 0 -1 1077944384 630 0 0 0 10 10 0 0 20 0 28 0 3936818 14133010432 143937 33554432000 4194304 4196468 140736082433152 140534895127312 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25559] ppid=25554 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25559/stat : 25559 (java) S 25554 25554 15196 0 -1 1077944384 91 0 0 0 9 6 0 0 20 0 28 0 3936818 14133010432 143937 33554432000 4194304 4196468 140736082433152 140534894074768 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25560] ppid=25554 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25560/stat : 25560 (java) S 25554 25554 15196 0 -1 1077944384 238 0 0 0 9 9 0 0 20 0 28 0 3936818 14133010432 143937 33554432000 4194304 4196468 140736082433152 140534893022224 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25561] ppid=25554 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25561/stat : 25561 (java) S 25554 25554 15196 0 -1 1077944384 350 0 0 0 11 10 0 0 20 0 28 0 3936818 14133010432 143937 33554432000 4194304 4196468 140736082433152 140534891969680 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25562] ppid=25554 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25562/stat : 25562 (java) S 25554 25554 15196 0 -1 1077944384 172 0 0 0 9 8 0 0 20 0 28 0 3936818 14133010432 143937 33554432000 4194304 4196468 140736082433152 140534890916112 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25563] ppid=25554 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25563/stat : 25563 (java) S 25554 25554 15196 0 -1 1077944384 181 0 0 0 10 10 0 0 20 0 28 0 3936818 14133010432 143937 33554432000 4194304 4196468 140736082433152 140534889863568 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25564] ppid=25554 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25564/stat : 25564 (java) S 25554 25554 15196 0 -1 1077944384 215 0 0 0 11 8 0 0 20 0 28 0 3936818 14133010432 143937 33554432000 4194304 4196468 140736082433152 140534888811024 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25565] ppid=25554 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25565/stat : 25565 (java) S 25554 25554 15196 0 -1 1077944384 86 0 0 0 8 6 0 0 20 0 28 0 3936818 14133010432 143937 33554432000 4194304 4196468 140736082433152 140534887758480 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
################
# More data... #
################
/proc/25555/task/25566/stat : 25566 (java) S 25554 25554 15196 0 -1 1077944384 505 0 0 0 0 0 0 0 20 0 28 0 3936820 14133010432 143937 33554432000 4194304 4196468 140736082433152 140533641406960 140534976658050 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25567] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25567/stat : 25567 (java) S 25554 25554 15196 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3936821 14133010432 143937 33554432000 4194304 4196468 140736082433152 140533640353248 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25568] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25568/stat : 25568 (java) S 25554 25554 15196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3936821 14133010432 143937 33554432000 4194304 4196468 140736082433152 140533639300608 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25569] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25569/stat : 25569 (java) S 25554 25554 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3936824 14133010432 143937 33554432000 4194304 4196468 140736082433152 140533638249168 140534976665499 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25570] ppid=25554 vsize=13801768 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25570/stat : 25570 (java) R 25554 25554 15196 0 -1 4202560 4038 0 0 0 192 0 0 0 20 0 28 0 3936824 14133010432 143937 33554432000 4194304 4196468 140736082433152 140533637181640 140534958191121 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25571] ppid=25554 vsize=13801768 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25571/stat : 25571 (java) S 25554 25554 15196 0 -1 1077944384 3780 0 0 0 184 0 0 0 20 0 28 0 3936824 14133010432 143937 33554432000 4194304 4196468 140736082433152 140533636143216 140534976658050 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25572] ppid=25554 vsize=13801768 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25572/stat : 25572 (java) S 25554 25554 15196 0 -1 1077944384 3995 0 0 0 192 1 0 0 20 0 28 0 3936824 14133010432 143937 33554432000 4194304 4196468 140736082433152 140533635090672 140534976658050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25573] ppid=25554 vsize=13801768 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25573/stat : 25573 (java) S 25554 25554 15196 0 -1 1077944384 3197 0 0 0 83 1 0 0 20 0 28 0 3936825 14133010432 143937 33554432000 4194304 4196468 140736082433152 140533634038128 140534976658050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25574] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25574/stat : 25574 (java) S 25554 25554 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3936825 14133010432 143937 33554432000 4194304 4196468 140736082433152 140533632985824 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25575] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25575/stat : 25575 (java) S 25554 25554 15196 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 3936825 14133010432 143937 33554432000 4194304 4196468 140736082433152 140533631933360 140534976658050 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
Current children cumulated CPU time (s) 13.47
Current children cumulated vsize (KiB) 13811280
[startup+4.00148 s]
/proc/loadavg: 15.06 14.82 14.44 18/299 25583
/proc/meminfo: memFree=30876280/32770624 swapFree=5808/98364
[pid=25554] ppid=25551 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25554/stat : 25554 (xcsp3-exec) S 25551 25554 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3936816 9740288 346 33554432000 4194304 5098028 140737239611584 140737239609688 139724877103740 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31281152 140737239614606 140737239614816 140737239614816 140737239617515 0
/proc/25554/statm: 2378 346 289 221 0 87 0
[pid=25555] ppid=25554 vsize=13801768 CPUtime=19.83 cores=0,2,4,6,8,10,12,14
/proc/25555/stat : 25555 (java) S 25554 25554 15196 0 -1 1077944320 27645 0 0 0 1897 86 0 0 20 0 28 0 3936816 14133010432 146755 33554432000 4194304 4196468 140736082433152 140736082415696 140534976646903 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
/proc/25555/statm: 3450442 146755 3278 1 0 3437675 0
[pid=25555/tid=25556] ppid=25554 vsize=13801768 CPUtime=2.4 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25556/stat : 25556 (java) S 25554 25554 15196 0 -1 1077944384 8140 0 0 0 232 8 0 0 20 0 28 0 3936817 14133010432 146755 33554432000 4194304 4196468 140736082433152 140534980887680 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25558] ppid=25554 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25558/stat : 25558 (java) S 25554 25554 15196 0 -1 1077944384 630 0 0 0 10 10 0 0 20 0 28 0 3936818 14133010432 146755 33554432000 4194304 4196468 140736082433152 140534895127312 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25559] ppid=25554 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25559/stat : 25559 (java) S 25554 25554 15196 0 -1 1077944384 91 0 0 0 9 6 0 0 20 0 28 0 3936818 14133010432 146755 33554432000 4194304 4196468 140736082433152 140534894074768 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25560] ppid=25554 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25560/stat : 25560 (java) S 25554 25554 15196 0 -1 1077944384 238 0 0 0 9 9 0 0 20 0 28 0 3936818 14133010432 146755 33554432000 4194304 4196468 140736082433152 140534893022224 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25561] ppid=25554 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25561/stat : 25561 (java) S 25554 25554 15196 0 -1 1077944384 350 0 0 0 11 10 0 0 20 0 28 0 3936818 14133010432 146755 33554432000 4194304 4196468 140736082433152 140534891969680 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25562] ppid=25554 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25562/stat : 25562 (java) S 25554 25554 15196 0 -1 1077944384 172 0 0 0 9 8 0 0 20 0 28 0 3936818 14133010432 146755 33554432000 4194304 4196468 140736082433152 140534890916112 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25563] ppid=25554 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25563/stat : 25563 (java) S 25554 25554 15196 0 -1 1077944384 181 0 0 0 10 10 0 0 20 0 28 0 3936818 14133010432 146755 33554432000 4194304 4196468 140736082433152 140534889863568 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25564] ppid=25554 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25564/stat : 25564 (java) S 25554 25554 15196 0 -1 1077944384 215 0 0 0 11 8 0 0 20 0 28 0 3936818 14133010432 146755 33554432000 4194304 4196468 140736082433152 140534888811024 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25565] ppid=25554 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25565/stat : 25565 (java) S 25554 25554 15196 0 -1 1077944384 86 0 0 0 8 6 0 0 20 0 28 0 3936818 14133010432 146755 33554432000 4194304 4196468 140736082433152 140534887758480 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25566] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25566/stat : 25566 (java) S 25554 25554 15196 0 -1 1077944384 505 0 0 0 0 0 0 0 20 0 28 0 3936820 14133010432 146755 33554432000 4194304 4196468 140736082433152 140533641406960 140534976658050 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25567] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25567/stat : 25567 (java) S 25554 25554 15196 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3936821 14133010432 146755 33554432000 4194304 4196468 140736082433152 140533640353248 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25568] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25568/stat : 25568 (java) S 25554 25554 15196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3936821 14133010432 146755 33554432000 4194304 4196468 140736082433152 140533639300608 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25569] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25569/stat : 25569 (java) S 25554 25554 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3936824 14133010432 146755 33554432000 4194304 4196468 140736082433152 140533638249168 140534976665499 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25570] ppid=25554 vsize=13801768 CPUtime=2.08 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25570/stat : 25570 (java) S 25554 25554 15196 0 -1 1077944384 4082 0 0 0 207 1 0 0 20 0 28 0 3936824 14133010432 146755 33554432000 4194304 4196468 140736082433152 140533637195760 140534976658050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25571] ppid=25554 vsize=13801768 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25571/stat : 25571 (java) S 25554 25554 15196 0 -1 1077944384 3787 0 0 0 188 0 0 0 20 0 28 0 3936824 14133010432 146755 33554432000 4194304 4196468 140736082433152 140533636143216 140534976658050 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25572] ppid=25554 vsize=13801768 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25572/stat : 25572 (java) S 25554 25554 15196 0 -1 1077944384 4036 0 0 0 199 1 0 0 20 0 28 0 3936824 14133010432 146755 33554432000 4194304 4196468 140736082433152 140533635090672 140534976658050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25573] ppid=25554 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25573/stat : 25573 (java) S 25554 25554 15196 0 -1 1077944384 3278 0 0 0 90 1 0 0 20 0 28 0 3936825 14133010432 146755 33554432000 4194304 4196468 140736082433152 140533634038128 140534976658050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25574] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25574/stat : 25574 (java) S 25554 25554 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3936825 14133010432 146755 33554432000 4194304 4196468 140736082433152 140533632985824 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25575] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25575/stat : 25575 (java) S 25554 25554 15196 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 3936825 14133010432 146755 33554432000 4194304 4196468 140736082433152 140533631933360 140534976658050 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25576] ppid=25554 vsize=13801768 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25576/stat : 25576 (java) R 25554 25554 15196 0 -1 4202560 73 0 0 0 121 0 0 0 20 0 28 0 3937082 14133010432 146755 33554432000 4194304 4196468 140736082433152 140533623919928 140534575895072 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25577] ppid=25554 vsize=13801768 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25577/stat : 25577 (java) R 25554 25554 15196 0 -1 4202560 71 0 0 0 113 0 0 0 20 0 28 0 3937082 14133010432 146755 33554432000 4194304 4196468 140736082433152 140533622867176 140534575423565 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25578] ppid=25554 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25578/stat : 25578 (java) R 25554 25554 15196 0 -1 4202560 66 0 0 0 111 0 0 0 20 0 28 0 3937082 14133010432 146755 33554432000 4194304 4196468 140736082433152 140533621814760 140534575894880 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25579] ppid=25554 vsize=13801768 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25579/stat : 25579 (java) R 25554 25554 15196 0 -1 4202560 90 0 0 0 98 0 0 0 20 0 28 0 3937082 14133010432 146755 33554432000 4194304 4196468 140736082433152 140533620760464 140534575345511 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25580] ppid=25554 vsize=13801768 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25580/stat : 25580 (java) R 25554 25554 15196 0 -1 4202560 45 0 0 0 112 0 0 0 20 0 28 0 3937082 14133010432 146755 33554432000 4194304 4196468 140736082433152 140533619708504 140534575500123 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25581] ppid=25554 vsize=13801768 CPUtime=1.08 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25581/stat : 25581 (java) R 25554 25554 15196 0 -1 4202560 44 0 0 0 108 0 0 0 20 0 28 0 3937082 14133010432 146755 33554432000 4194304 4196468 140736082433152 140533618655776 140534575894993 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25582] ppid=25554 vsize=13801768 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25582/stat : 25582 (java) R 25554 25554 15196 0 -1 4202560 61 0 0 0 119 0 0 0 20 0 28 0 3937082 14133010432 146755 33554432000 4194304 4196468 140736082433152 140533617602936 140534575424045 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25583] ppid=25554 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25583/stat : 25583 (java) R 25554 25554 15196 0 -1 4202560 53 0 0 0 111 0 0 0 20 0 28 0 3937082 14133010432 146755 33554432000 4194304 4196468 140736082433152 140533616550080 140534575345063 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (KiB) 13811280
[startup+4.2015 s]
/proc/loadavg: 15.06 14.82 14.44 18/299 25583
/proc/meminfo: memFree=30876280/32770624 swapFree=5808/98364
[pid=25554] ppid=25551 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25554/stat : 25554 (xcsp3-exec) S 25551 25554 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3936816 9740288 346 33554432000 4194304 5098028 140737239611584 140737239609688 139724877103740 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31281152 140737239614606 140737239614816 140737239614816 140737239617515 0
/proc/25554/statm: 2378 346 289 221 0 87 0
[pid=25555] ppid=25554 vsize=13801768 CPUtime=21.41 cores=0,2,4,6,8,10,12,14
/proc/25555/stat : 25555 (java) S 25554 25554 15196 0 -1 1077944320 27698 0 0 0 2055 86 0 0 20 0 28 0 3936816 14133010432 147299 33554432000 4194304 4196468 140736082433152 140736082415696 140534976646903 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
/proc/25555/statm: 3450442 147299 3278 1 0 3437675 0
[pid=25555/tid=25556] ppid=25554 vsize=13801768 CPUtime=2.4 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25556/stat : 25556 (java) S 25554 25554 15196 0 -1 1077944384 8140 0 0 0 232 8 0 0 20 0 28 0 3936817 14133010432 147299 33554432000 4194304 4196468 140736082433152 140534980887680 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25558] ppid=25554 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25558/stat : 25558 (java) S 25554 25554 15196 0 -1 1077944384 630 0 0 0 10 10 0 0 20 0 28 0 3936818 14133010432 147299 33554432000 4194304 4196468 140736082433152 140534895127312 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25559] ppid=25554 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25559/stat : 25559 (java) S 25554 25554 15196 0 -1 1077944384 91 0 0 0 9 6 0 0 20 0 28 0 3936818 14133010432 147299 33554432000 4194304 4196468 140736082433152 140534894074768 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25560] ppid=25554 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25560/stat : 25560 (java) S 25554 25554 15196 0 -1 1077944384 238 0 0 0 9 9 0 0 20 0 28 0 3936818 14133010432 147299 33554432000 4194304 4196468 140736082433152 140534893022224 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25561] ppid=25554 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25561/stat : 25561 (java) S 25554 25554 15196 0 -1 1077944384 350 0 0 0 11 10 0 0 20 0 28 0 3936818 14133010432 147299 33554432000 4194304 4196468 140736082433152 140534891969680 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25562] ppid=25554 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25562/stat : 25562 (java) S 25554 25554 15196 0 -1 1077944384 172 0 0 0 9 8 0 0 20 0 28 0 3936818 14133010432 147299 33554432000 4194304 4196468 140736082433152 140534890916112 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25563] ppid=25554 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25563/stat : 25563 (java) S 25554 25554 15196 0 -1 1077944384 181 0 0 0 10 10 0 0 20 0 28 0 3936818 14133010432 147299 33554432000 4194304 4196468 140736082433152 140534889863568 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25564] ppid=25554 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25564/stat : 25564 (java) S 25554 25554 15196 0 -1 1077944384 215 0 0 0 11 8 0 0 20 0 28 0 3936818 14133010432 147299 33554432000 4194304 4196468 140736082433152 140534888811024 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25565] ppid=25554 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25565/stat : 25565 (java) S 25554 25554 15196 0 -1 1077944384 86 0 0 0 8 6 0 0 20 0 28 0 3936818 14133010432 147299 33554432000 4194304 4196468 140736082433152 140534887758480 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25566] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25566/stat : 25566 (java) S 25554 25554 15196 0 -1 1077944384 505 0 0 0 0 0 0 0 20 0 28 0 3936820 14133010432 147299 33554432000 4194304 4196468 140736082433152 140533641406960 140534976658050 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25567] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25567/stat : 25567 (java) S 25554 25554 15196 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3936821 14133010432 147299 33554432000 4194304 4196468 140736082433152 140533640353248 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25568] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25568/stat : 25568 (java) S 25554 25554 15196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 3936821 14133010432 147299 33554432000 4194304 4196468 140736082433152 140533639300608 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25569] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25569/stat : 25569 (java) S 25554 25554 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3936824 14133010432 147299 33554432000 4194304 4196468 140736082433152 140533638249168 140534976665499 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25570] ppid=25554 vsize=13801768 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25570/stat : 25570 (java) S 25554 25554 15196 0 -1 1077944384 4083 0 0 0 208 1 0 0 20 0 28 0 3936824 14133010432 147299 33554432000 4194304 4196468 140736082433152 140533637195760 140534976658050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25571] ppid=25554 vsize=13801768 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25571/stat : 25571 (java) S 25554 25554 15196 0 -1 1077944384 3788 0 0 0 189 0 0 0 20 0 28 0 3936824 14133010432 147299 33554432000 4194304 4196468 140736082433152 140533636143216 140534976658050 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25572] ppid=25554 vsize=13801768 CPUtime=2.01 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25572/stat : 25572 (java) S 25554 25554 15196 0 -1 1077944384 4036 0 0 0 200 1 0 0 20 0 28 0 3936824 14133010432 147299 33554432000 4194304 4196468 140736082433152 140533635090672 140534976658050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25573] ppid=25554 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25573/stat : 25573 (java) S 25554 25554 15196 0 -1 1077944384 3279 0 0 0 90 1 0 0 20 0 28 0 3936825 14133010432 147299 33554432000 4194304 4196468 140736082433152 140533634038128 140534976658050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25574] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25574/stat : 25574 (java) S 25554 25554 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3936825 14133010432 147299 33554432000 4194304 4196468 140736082433152 140533632985824 140534976657109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25575] ppid=25554 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25575/stat : 25575 (java) S 25554 25554 15196 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3936825 14133010432 147299 33554432000 4194304 4196468 140736082433152 140533631933360 140534976658050 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25576] ppid=25554 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25576/stat : 25576 (java) R 25554 25554 15196 0 -1 4202560 96 0 0 0 141 0 0 0 20 0 28 0 3937082 14133010432 147299 33554432000 4194304 4196468 140736082433152 140533623917792 140534575403492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25577] ppid=25554 vsize=13801768 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25577/stat : 25577 (java) R 25554 25554 15196 0 -1 4202560 71 0 0 0 132 0 0 0 20 0 28 0 3937082 14133010432 147299 33554432000 4194304 4196468 140736082433152 140533622866472 140534575497259 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25578] ppid=25554 vsize=13801768 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25578/stat : 25578 (java) R 25554 25554 15196 0 -1 4202560 66 0 0 0 130 0 0 0 20 0 28 0 3937082 14133010432 147299 33554432000 4194304 4196468 140736082433152 140533621812760 140534575403313 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25579] ppid=25554 vsize=13801768 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25579/stat : 25579 (java) R 25554 25554 15196 0 -1 4202560 92 0 0 0 117 0 0 0 20 0 28 0 3937082 14133010432 147299 33554432000 4194304 4196468 140736082433152 140533620760496 140534575894875 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25580] ppid=25554 vsize=13801768 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25580/stat : 25580 (java) R 25554 25554 15196 0 -1 4202560 45 0 0 0 131 0 0 0 20 0 28 0 3937082 14133010432 147299 33554432000 4194304 4196468 140736082433152 140533619707816 140534575345651 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25581] ppid=25554 vsize=13801768 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25581/stat : 25581 (java) R 25554 25554 15196 0 -1 4202560 67 0 0 0 127 0 0 0 20 0 28 0 3937082 14133010432 147299 33554432000 4194304 4196468 140736082433152 140533618655272 140534575497948 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25582] ppid=25554 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25582/stat : 25582 (java) R 25554 25554 15196 0 -1 4202560 61 0 0 0 139 0 0 0 20 0 28 0 3937082 14133010432 147299 33554432000 4194304 4196468 140736082433152 140533617602744 140534575498204 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
[pid=25555/tid=25583] ppid=25554 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25583/stat : 25583 (java) R 25554 25554 15196 0 -1 4202560 54 0 0 0 129 0 0 0 20 0 28 0 3937082 14133010432 147299 33554432000 4194304 4196468 140736082433152 140533616550056 140534575403418 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 18771968 140736082437308 140736082437484 140736082437484 140736082440143 0
Current children cumulated CPU time (s) 21.41
Current children cumulated vsize (KiB) 13811280
[startup+4.30158 s]
/proc/loadavg: 15.06 14.82 14.44 18/299 25583
/proc/meminfo: memFree=30876280/32770624 swapFree=5808/98364
[pid=25554] ppid=25551 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/25554/stat : 25554 (xcsp3-exec) S 25551 25554 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3936816 9740288 346 33554432000 4194304 5098028 140737239611584 140737239609688 139724877103740 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 31281152 140737239614606 140737239614816 140737239614816 140737239617515 0
/proc/25554/statm: 2378 346 289 221 0 87 0
[pid=25555] ppid=25554 vsize=0 CPUtime=21.81 cores=0,2,4,6,8,10,12,14
/proc/25555/stat : 25555 (java) Z 25554 25554 15196 0 -1 4227084 27810 0 0 0 2094 87 0 0 20 0 2 0 3936816 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/25555/statm: 0 0 0 0 0 0 0
[pid=25555/tid=25571] ppid=25554 vsize=0 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/25555/task/25571/stat : 25571 (java) D 25554 25554 15196 0 -1 4203588 3788 0 0 0 192 1 0 0 20 0 2 0 3936824 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 21.81
Current children cumulated vsize (KiB) 9512
Child status: 0
Real time (s): 4.38977
CPU time (s): 21.8167
CPU user time (s): 20.9436
CPU system time (s): 0.873145
CPU usage (%): 496.99
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.9436
system time used= 0.873145
maximum resident set size= 594032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28338
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3831
involuntary context switches= 2022
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033554 second user time and 0.071903 second system time
The end